Rubi: Symbolic integrator based on an extensive system of integration rules
By systematically applying its extensive, coherent collection of symbolic integration rules, Rubi is able to find the optimal antiderivative of large classes of mathematical expressions. Also Rubi can show the rules and intermediate steps it uses to integrate an expression, making the system a great tool for both learning and doing mathematics. The over 6700 […]
Rearchiving 2M hours of digital radio, a comprehensive process
The National Library is in the process of a major overhaul of its 2007 bit-repository, replacing it with a contemporary digital preservation system. This new solution is based on an in-house developed system called DPS (Digital Preservation Services), which uses IBM-HPSS as the underlying bit repository for data storage. This transition, which is expected to […]
Time-Memory Trade-Offs Sound the Death Knell for GPRS and GSM
@inproceedings{crypto-2024-34281, title={Time-memory Trade-offs Sound the Death Knell for GPRS and GSM}, publisher={Springer-Verlag}, author={Tristan Claverie and Gildas Avoine and Diane Leblanc-Albarel and Xavier Carpent and Christope Devine}, year=2024 }
Programming Zero Knowledge Proofs: From Zero to Hero
A tutorial introduction for the working programmer. Do you know why zebras have stripes? One theory is that it is a form of camouflage. When zebras are in a herd together, it makes it harder for the lion to distinguish their prey. Lions have to isolate their prey from the flock to be able to […]
The occult technology of the rollercoaster
#thoosieposting Python and Joris en de Draak, Efteling A machine must have a purpose. Machines without a purpose can exist only in the kind of tension with their nature that renders them Art Objects instead. Usually the purpose of a machine is evident: it will produce useful work cranking out cars to sell to commuters […]
The occult technology of the rollercoaster
#thoosieposting Python and Joris en de Draak, Efteling A machine must have a purpose. Machines without a purpose can exist only in the kind of tension with their nature that renders them Art Objects instead. Usually the purpose of a machine is evident: it will produce useful work cranking out cars to sell to commuters […]
Calendar Queues: A Fast O(1) Priority Queue Implementation (1998)
Download PDF
Starlink will now be free in Brazil: Musk
Elon Musk anunciou, na noite desta quinta-feira (29/8), que a SpaceX fornecerá serviço de internet gratuitamente no Brasil por meio da Starlink até que a disputa judicial sobre o bloqueio de contas da empresa seja resolvida. “Muitas escolas e hospitais remotos dependem da Starlink, da SpaceX! A SpaceX fornecerá serviço de Internet aos usuários no […]
Imbue (Formerly Generally Intelligent) (YC S17) Is Hiring a Research Scientist
Imbue (F.K.A. Generally Intelligent) is an AI research company working directly on building human-level general machine intelligence that can learn naturally in the way humans do. Our mission is to understand the fundamentals of learning and build safe, humane machine intelligence. Here are our open roles: Engineering Manager (SF, Full-time): https://jobs.lever.co/imbue/75fac008-22e5-49ab-9f4e-a4c459b5… Founding Product Engineer (SF, […]
Show HN: Amine – Prevents you from switching 100s of Browser Tabs
{{ message }} This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository. You can’t perform that action at this time.