Bytecode Breakdown: Unraveling Factorio's Lua Security Flaws
Dynamic languages are safe from memory corruptions bugs, right? 29/06/2024 Research Pwn Lua Some months ago I exploited a vulnerability in the Lua implementation of Factorio that allowed a malicious server to obtain arbitrary execution on clients. As the vulnerability has been patched for months already (Factorio versions below 1.1.101 are affected), is time to share the details with the community
Finding GPT-4’s mistakes with GPT-4
CriticGPT, a model based on GPT-4, writes critiques of ChatGPT responses to help human trainers spot mistakes during RLHF We've trained a model, based on GPT-4, called CriticGPT to catch errors in ChatGPT's code output. We found that when people get help from CriticGPT to review ChatGPT code they outperform those without help 60% of the time. We are beginning the work to integrate CriticGPT-like m
Street-Fighting Mathematics | Mathematics | MIT OpenCourseWare
This course teaches the art of guessing results and solving problems without doing a proof or an exact calculation. Techniques include extreme-cases reasoning, dimensional analysis, successive approximation, discretization, generalization, and pictorial analysis. Applications include mental calculation, solid geometry, …Show more This course teaches the art of guessing results and solving problems
Introducing Claude 3.5 Sonnet
Today, we’re launching Claude 3.5 Sonnet—our first release in the forthcoming Claude 3.5 model family. Claude 3.5 Sonnet raises the industry bar for intelligence, outperforming competitor models and Claude 3 Opus on a wide range of evaluations, with the speed and cost of our mid-tier model, Claude 3 Sonnet. Claude 3.5 Sonnet is now available for free on Claude.ai and the Claude iOS app, while Clau
EasyOS Home — All categories
site news contact history Go Web pages index Overview of EasyOS How and why EasyOS is different Why the ISO format has to die Legal, disclaimers, miscellania EasyOS Forum & other links Applications in EasyOS EasyShare, super easy network file and printer sharing BluePup easy Bluetooth management Development, programming Guidelines for debugging EasyOS Translate EasyOS to your language Coding for E
The Raspberry Pi 5 is no match for a tini-mini-micro PC
Sure, these mini PCs won't come close to modern hardware like the Apple M2 or the intel i9. But if we look at the performance of the mini PCs we can observe that: The Intel i5-6500T CPU is 13% faster in single-core than the AMD Ryzen 3 PRO Both the Intel and AMD processors are 42% - 62% faster than the Pi 5 regarding single-core performance. Storage (performance) If there's one thing that really h
MicroMac, a Macintosh for under £5
A microcontroller Macintosh This all started from a conversation about the RP2040 MCU, and building a simple desktop/GUI for it. I’d made a comment along the lines of “or, just run some old OS”, and it got me thinking about the original Macintosh. The original Macintosh was released 40.5 years before this post, and is a pretty cool machine especially considering that the hardware is very simple. I
Terence Tao (@tao@mathstodon.xyz)
There has been a remarkable breakthrough towards the Riemann hypothesis (though still very far from fully resolving this conjecture) by Guth and Maynard making the first substantial improvement to a classical 1940 bound of Ingham regarding the zeroes of the Riemann zeta function (and more generally, controlling the large values of various Dirichlet series): https://arxiv.org/abs/2405.20552 Let 𝑁(
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
You Can Now See Thousands of Pablo Picasso's Works in a New Online Archive
GitHub - overleaf/overleaf: A web-based collaborative LaTeX editor
My First Kubernetes: k3s 'cluster' on 3 Orange Pi Zero 3's, including the dashboard, hello-node and failover - Raymii.org
https://storage.googleapis.com/deepmind-media/gemma/gemma-2-report.pdf
AdonisJS - A fully featured web framework for Node.js
OSRD
Rosser’s Theorem via Turing machines
There’s more to mathematics than rigour and proofs
Sheaf Theory through Examples
Why Google Takeout is sooo bad! - Tech ramblings by Marcin
From the Circle to Epicycles (Part 1) - An animated introduction to Fourier Series
GitHub - glebbash/LO: LO - small programming language targeting WASM that aims to be as simple as possible
