FunSearch This repository accompanies the publication Romera-Paredes, B. et al. Mathematical discoveries from program search with large language models. Nature (2023) There are 6 independent directories: cap_set contains functions discovered by FunSearch that construct large cap sets, and we also provide those cap sets in a numerical format for convenience. admissible_set contains functions discovered by FunSearch that construct large admissible sets, and we also provide those admissible …
Awesome-Robotics-Foundation-Models This is the partner repository for the survey paper "Foundation Models in Robotics: Applications, Challenges, and the Future". The authors hope this repository can act as a quick reference for roboticists who wish to read the relevant papers and implement the associated methods. The organization of this readme follows Figure 1 in the paper (shown above) and is thus divided into foundation models that have been applied to robotics and those that are r…
Build an event organization web app like Eventbrite or Meetup with authentication, event management, search, filtering, categories, checkout, and payments using Next JS 14, Tailwind CSS, Shadcn, React Hook Form, Zod, Uploadthing, React-Datepicker, Mongoose, Clerk, and Stripe. A Full Stack Next 14 Events App Build this project step by step with our detailed tutorial on JavaScript Mastery YouTube. Join the JSM family! 📋 Table of Content…
This is a Next.js project bootstrapped with create-next-app. Getting Started First, run the development server: npm run dev # or yarn dev # or pnpm dev # or bun dev Open http://localhost:3000 with your browser to see the result. You can start editing the page by modifying app/page.tsx. The page auto-updates as you edit the file. This project uses next/font to automatically optimize and load Inter, a custom Google Font. Learn More To learn more about Next.js, take a look at the following resourc…
STATUS: This codebase is not well tested and does not use the exact same settings we used in the paper, but in our experience gives qualitatively similar results when using large model size gaps and multiple seeds. Expected results can be found for two datasets below. We may update the code significantly in the coming week. Weak-to-strong generalization This project contains code for implementing our paper on weak-to-strong generalization. The primary codebase contains a re-implementation of…
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacyNamada Overview Namada is a Proof-of-Stake L1 for interchain asset-agnostic privacy. Namada uses CometBFT consensus and enables multi-asset shielded transfers for any native or non-native asset. Namada features full IBC protocol support, a natively integrated Ethereum bridge, a modern proof-of-stake system with automatic reward compounding and cubic slashing, and a stake-weighted governance signalling mech…
Компания Ledger предупреждает пользователей о недопустимости использования Web3 dApp после обнаружения атаки на цепочку поставок. Дело в том, что в Ledger dApp Connect Kit был выявлен JavaScript-вредонос, который уже похитил у пользователей более 600 000 долларов в криптовалютах и NFT.
Аппаратура SDR (Software-defined Radio), как и следует из названия, представляет собой программно-аппаратный комплекс. В предыдущих частях цикла были рассмотрены преимущественно аппаратные решения радиотракта трансивера Selenite Lite. В большей части данной публикации будет рассмотрена та часть радиостанции, которая предназначена для управления «Radio» и его связи с «Software». Речь пойдёт о контроллере, на котором реализовано составное устройство USB, включающее в себя звуковое устройство U…
Стеклодувное приборостроение подразумевает огневой нагрев заготовок — стеклянных трубок и стержней различного диаметра, оно немыслимо без разнообразных горелок и систем их питания. Здесь речь пойдёт об оборудовании небольшого рабочего места для стеклодувных работ в домашней деревенской мастерской. Забавы эти — не более чем хобби и не предполагают какой-либо серийности и повторяемости. Из-за скудного обеспечения и труднодоступности мастерской набор получился интересным и своеобразным. ▍ Гор…