Show HN: Go Bindings for SCIP Optimizer
Go bindings for SCIP Optimizer enable developers to integrate the solver with Go applications. The project is hosted on GitHub with ongoing commits and examples for implementation. (github.com)
A compact neural adjudicator labeled "Numberwang" classifies textual input as one of four verdicts: "That's not Numberwang," "THAT'S NUMBERWANG!," "That's not even a number," or "That's Wangernumb!" The full model is a single 1.8 MB JSON file with inference implemented in roughly 100 lines of pure Python (requires only Python 3.8+). It accepts digits and spelled-out numbers in eleven languages, arithmetic expressions (judged by their evaluated result), negatives, decimals, currency and unit notations, Roman numerals, ordinals and words built on numbers; the network operates on raw characters with no tokenizer or rule engine. A demo runs on Hugging Face Spaces via gradio, but the model itself has zero dependencies and also provides a simple load_model/wang_probabilities API for integration.
The network architecture is character→Embedding(32)→Conv1d(128,k=3)→ReLU→Conv1d(128,k=3)→ReLU→global max pool→Linear(128)→ReLU→Linear(4)→softmax, totaling 80,804 parameters. Evaluated on 486 held-out adjudications it achieves 88.9% accuracy and macro-F1 0.896 (per-class F1: not Numberwang 0.851, Numberwang 0.910, not a number 0.886, Wangernumb 0.937). A known weakness is arithmetic with unseen operands (44-72% accuracy) because the model memorizes common expressions rather than computing; if exact arithmetic matters, evaluate expressions before passing results in. The project is MIT-licensed.
Summary generated by AI from the linked article. hn.today is not affiliated with Hacker News or Y Combinator.
Go bindings for SCIP Optimizer enable developers to integrate the solver with Go applications. The project is hosted on GitHub with ongoing commits and examples for implementation. (github.com)
Swift 6.4 has been released, bringing new updates and improvements to the programming language. The release enhances performance and adds new features for developers. (swift.org)
A guide explains how to build a simple Python script to make an API call to Anthropic's LLM, Claude. It covers setting up the environment, loading the API key, and creating the client for communication. (heymeraki.substack.com)
The online Z3 guide offers tutorials on programming Z3 in Python, using the SMTLIB language, and provides resources like API documentation and slides. It also connects users to GitHub, Twitter, and other community channels. (microsoft.github.io)
JDK 27 is now generally available, with the final build 35 released on August 20 after no reported P1 bugs. This update includes nine JEPs, such as making G1 the default garbage collector and introducing new cryptographic and concurrency features. (mail.openjdk.org)
Lovable rewrote Vite in Rust with OJ, reducing memory usage by ten times and enabling faster, lighter previews at scale. OJ is a single Rust binary that runs apps with compatibility and efficiency, eliminating the need for a JavaScript runtime. (lovable.dev)
Today's best Hacker News stories, summarized and screenshotted, one email a day.