5821
The seven specification ur-languages
A brief overview of the formal specification landscape
New
The latest blog posts to take off on Hacker News. 21,822 posts.
5822
CheerpJ 3.0: a JVM replacement in HTML5 and WASM to run Java on modern browsers
For the past year, we have been working on a new architecture for CheerpJ: our implementation of the JVM in HTML5/WebAssembly, designed to run Java applications on the browser. CheerpJ 3.0 will be released in the late summer of 2023, and will be easier to use, faster, and more compatible than ever before. Our live…
5823
5824
Nyxt 3.0.0
Did you enjoy this article? Register for our newsletter to receive the latest hacker news from the world of Lisp and browsers!
5825
Giving GPT “Infinite” Knowledge
How to give GPT access to large amounts of data
5826
GitHub code search is generally available
The world’s code is now at your fingertips.
5827
How to design software architecture for startups
A good software architecture for a startup looks very different from the one you might build for an enterprise system. Here is what worked for us.
5828
5829
Prolog for data science
I demonstrate a widely applicable pattern which integrates Prolog as a critical component in a data science analysis. Analytic methods are used to generate properties about the data under study and Prolog is used to reason about the data via the generated properties. The post includes some examples of piece-wise…
5830
Turbo Rascal Syntax Error
TRSE (or its full original name “Turbo Rascal Syntax error, “;” expected but “BEGIN”) is a complete suite (IDE, compiler, programming language, resource editor) intended for developing games/demos for 8 / 16-bit line of computers, with a focus on the MOS 6502, the Motorola 68000, the (GB)Z80, the M6809 and the X86…
5831
How to make smaller C and C++ binaries
This blog post presents several techniques to make the binaries resulting from C or C++ compilation smaller with GCC (or Clang). Please note...
5832
5833
Why Lisp?
A lot of people ask us the question, why do we choose to use Common Lisp as our primary development language? Often times the question comes disguised as a suggestion: "Flask is a great webserver you should consider using". This is a well intentioned suggestion- of course we would like to use the best tools available!…
5834
FaaS in Go with WASM, WASI and Rust
This post is best described as a technology demonstration; it melds together web servers, plugins, WebAssembly, Go, Rust and ABIs. Here's what it shows:
5835
Implementing Value Speculation in OCaml
Lucas Pluvinage's website
5836
5837
5838
A few words on Ruby's type annotations state
...that were written in a military training camp and accidentally grew to 5k words
5839
Htmx Is the Future
Chris James, London - Software Engineer
5840
Re-implementing LangChain in 100 lines of code
LangChain has become a tremendously popular toolkit for building a wide range of LLM-powered applications, including chat, Q&A and document search. In this blogpost I re-implement some of the novel LangChain functionality as a learning exercise, looking at the low-level prompts it uses to create these higher level…
5841
Roll your own JavaScript runtime, pt. 3
We'll create and load a snapshot of our custom JavaScript runtime to optimize startup time.
5842
RLHF: Reinforcement Learning from Human Feedback
[LinkedIn discussion, Twitter thread]
5843
Augmenting LLMs Beyond Basic Text Completion and Transformation
Explore resources and tools created to inspire creativity, perform deep learning, and equip your company with Voice AI best practices.
5844
JEP 450: Compact Object Headers
Reduce the size of object headers in the HotSpot JVM from between 96 and 128 bits down to 64 bits on 64-bit architectures. This will reduce heap size, improve deployment density, and increase data locality.
5845
Running JavaScript in Rust with Deno: Experimenting with Deno's Rust Crates
Explore how the Deno runtime can enable JavaScript code execution in a Rust application via a proof-of-concept project called "js-in-rs". Discover the flexibility and versatility of using JavaScript expressions as filters in a CLI, written in Rust, as a powerful alternative to regular expressions. Watch out grep!
5846
New C features in GCC 13
The GNU Compiler Collection 13 release implemented a number of interesting features in its C front-end. This article summarizes the most interesting ones.
5847
A look at Crystal, a programming language for humans
I recently implemented a Brainfuck interpreter in the Crystal programming language and I’d like to share my honest opinion about working in the language.
5848
Somehow AutoHotKey is kinda good now
img {border-style: groove; border-width: 1px;} I love Autohotkey so much that it keeps me on Windows. It’s the best GUI automation tool out there. Here’s a shortcut that opens my current browser tab in the Wayback Machine: #HotIf WinActive("ahk_exe firefox.exe") >!^s:: { Keywait("RControl") Keywait("RAlt")…
5849
Mojo might be the biggest thing to happen in programming for decades
Mojo is a new programming language, based on Python, which fixes Python’s performance and deployment problems.
5850