Forwarded from Hacker News (yahnc_bot)
Digital Logic Sim https://sebastian.itch.io/digital-logic-sim
itch.io
Digital Logic Sim by Sebastian Lague
A minimalistic digital logic simulator. Available for Windows, macOS, Linux
Forwarded from Hacker News (yahnc_bot)
Adding design-by-contract conditions to C++ via a GCC plugin https://gavinray97.github.io/blog/adding-invariant-to-cpp-design-by-contract
Gavin Ray Blog
Adding Design-by-Contract [[invariant]] conditions to C++, via a GCC plugin
Design-by-Contract's invariant attribute allows you to enforce important properties of systems and data structures, making it an incredibly useful tool for developers. In this blog post, we'll be exploring the development of a GCC plugin that adds support…
Forwarded from Solidot
LineageOS 20 发布
2023-01-02 23:29:00 by 长颈龙的完美一天
Android 社区发行版 LineageOS 释出了 v20 版本。LineageOS 是 CyanogenMod 的分支，在 Cyanogen 公司宣布停止开发 CyanogenMod 之后创建，LineageOS 20 是基于 Android 13，剥离了 Google 应用，加入了项目自己的一些应用，其中包括了新的相机应用 Aperture（基于 Google CameraX），合并了 2022 年 4 月到 12 月的安全补丁，Android TV 版本包含了一个无广告的 Android TV 启动器，等等。
https://lineageos.org/Changelog-27/
#Android
2023-01-02 23:29:00 by 长颈龙的完美一天
Android 社区发行版 LineageOS 释出了 v20 版本。LineageOS 是 CyanogenMod 的分支，在 Cyanogen 公司宣布停止开发 CyanogenMod 之后创建，LineageOS 20 是基于 Android 13，剥离了 Google 应用，加入了项目自己的一些应用，其中包括了新的相机应用 Aperture（基于 Google CameraX），合并了 2022 年 4 月到 12 月的安全补丁，Android TV 版本包含了一个无广告的 Android TV 启动器，等等。
https://lineageos.org/Changelog-27/
#Android
Forwarded from Hacker News (yahnc_bot)
Inside the 8086 processor's instruction prefetch circuitry https://www.righto.com/2023/01/inside-8086-processors-instruction.html
Righto
Inside the 8086 processor's instruction prefetch circuitry
The groundbreaking 8086 microprocessor was introduced by Intel in 1978 and led to the x86 architecture that still dominates desktop and se...
Forwarded from Phoronix News
Phoronix
Thanks To Valve, HDR Beginning To Work For Linux Gaming
Thanks to Valve's incredible work on Steam Play and investing in low-level Linux graphics stack improvements, the latest milestone being achieved is HDR (High Dynamic Range) support beginning to work...
Thanks To Valve, HDR Beginning To Work For Linux Gaming
Thanks to Valve's incredible work on Steam Play and investing in low-level Linux graphics stack improvements, the latest milestone being achieved is HDR (High Dynamic Range) support beginning to work...
Phoronix
Thanks To Valve, HDR Beginning To Work For Linux Gaming
Thanks to Valve's incredible work on Steam Play and investing in low-level Linux graphics stack improvements, the latest milestone being achieved is HDR (High Dynamic Range) support beginning to work.
Forwarded from Lobste.rs
Generalized LL (GLL) Parser
This post provides a complete tour of Generalized LL (GLL) parsing along with GSS (graph structured stack) and extraction of parse trees from SPPF (shared packed parse forest). This is part of my ongoing effort to document various parsing algorithms.I am looking for feedback on structure as well as content as before.Note: Pyodide takes a little time to initialize, but it should be faster to initialize than spinning up the binder service from Jupyter (but slower to execute).This is the writeup.Comments
via vrthra@users.lobste.rs (vrthra)
This post provides a complete tour of Generalized LL (GLL) parsing along with GSS (graph structured stack) and extraction of parse trees from SPPF (shared packed parse forest). This is part of my ongoing effort to document various parsing algorithms.I am looking for feedback on structure as well as content as before.Note: Pyodide takes a little time to initialize, but it should be faster to initialize than spinning up the binder service from Jupyter (but slower to execute).This is the writeup.Comments
via vrthra@users.lobste.rs (vrthra)
rahul.gopinath.org
Generalized LL (GLL) Parser
Research in Software Engineering from Rahul Gopinath
👍3
https://github.com/TypeFox/monaco-languageclient
也支持 Worker 里面跑的 lang server
感觉可以玩一玩把 slang 交叉编译到 wasm 啥的（
也支持 Worker 里面跑的 lang server
感觉可以玩一玩把 slang 交叉编译到 wasm 啥的（
GitHub
GitHub - TypeFox/monaco-languageclient: A toolbox for building web applications with editors utilizing language servers.
A toolbox for building web applications with editors utilizing language servers. - TypeFox/monaco-languageclient
Forwarded from Lobste.rs
Difference between Rust intristics and Rust lang items (with Haskell examples)
Comments
via safinaskar@users.lobste.rs (safinaskar)
Comments
via safinaskar@users.lobste.rs (safinaskar)
GitHub
GHC2023 by nomeata · Pull Request #559 · ghc-proposals/ghc-proposals
Rendered
This PR will guide the process of deciding if we want to have, and then defining, GHC2023, as per the process outlined in #372.
This PR will guide the process of deciding if we want to have, and then defining, GHC2023, as per the process outlined in #372.
Forwarded from 一个存在的世界 (Miao Wu)
Forwarded from Hacker News (yahnc_bot)
PHP: Prolog Home Page https://php.energy
Forwarded from Hacker News (yahnc_bot)
Production Twitter on one machine? 100Gbps NICs and NVMe are fast https://thume.ca/2023/01/02/one-machine-twitter/
thume.ca
Production Twitter on One Machine? 100Gbps NICs and NVMe are fast - Tristan Hume
Forwarded from Hacker News (yahnc_bot)
Universal flu vaccine against all known subtypes takes promising first steps https://www.science.org/doi/10.1126/science.abm0271
Science
A multivalent nucleoside-modified mRNA vaccine against all known influenza virus subtypes
mRNA vaccines expressing antigens from all known influenza subtypes elicit protective responses in mice and ferrets.