Comments URL: https://news.ycombinator.com/item?id=48517069

Points: 4

# Comments: 0

Project repo og GitHub: https://github.com/pixel-clover/ocelot

Comments URL: https://news.ycombinator.com/item?id=48064712

Points: 5

# Comments: 0

The SKILL.md file is here: https://github.com/habedi/dotfiles/blob/main/skills/slopify/...

Comments URL: https://news.ycombinator.com/item?id=47876329

Points: 2

# Comments: 0

I've made a Dis virtual machine and Limbo programming language compiler (called RiceVM) in Rust. It can run Dis bytecode (for example, Inferno OS applications), compile Limbo programs, and includes a fairly complete runtime with garbage collection, concurrency features, and many of the standard modules from Inferno OS's original implementation.

The project is still in an early stage, but if you're interested in learning more about RiceVM or trying it out, you can check out the links below:

Project's GitHub repo: https://github.com/habedi/ricevm

RiceVM documentation: https://habedi.github.io/ricevm/

Comments URL: https://news.ycombinator.com/item?id=47619319

Points: 7

# Comments: 0

I've made an early version of a physical design advisor (called Vizier) for DuckDB. It can analyze a collection of queries (using a set of heuristics) and recommend changes to the physical design/layout of the database (for example, sort orders, Parquet layouts, indexes, etc.), in order to make those queries run faster.

Vizier is implemented as a DuckDB extension in Zig and supports DuckDB version 1.2.0 and newer. The project is very early-stage, but if you're interested in learning more about Vizier or trying it out, you can check out the links below:

Project's GitHub repo: https://github.com/CogitatorTech/vizier

Vizier documentation: https://cogitatortech.github.io/vizier/

Comments URL: https://news.ycombinator.com/item?id=47532746

Points: 6

# Comments: 0

I've made an early version of a Sega Genesis/Mega Drive emulator written in Zig and C. At the moment, it's far from finished (for example, sound fidelity isn't very good right now), but it boots some games with good compatibility. In any case, if you're interested, the project is available on GitHub (here: https://github.com/pixel-clover/sandopolis).

Feedback is welcome.

Disclaimer: I'm very new to emulation, and this is my first attempt to build a retro gaming emulator.

Comments URL: https://news.ycombinator.com/item?id=47424796

Points: 1

# Comments: 0

I've made a Motorola 68000 chip emulator in C11 (called Rocket 68) as a portable C library that can easily be integrated into larger projects. If you want to know more about the project, additional information is available in the links below.

Project's GitHub repo: https://github.com/habedi/rocket68

Project's documentation: https://habedi.github.io/rocket68/

Comments URL: https://news.ycombinator.com/item?id=47219163

Points: 3

# Comments: 0

I've made an early version of a Datalog engine (called Zodd) in Zig. Datalog is a logic query language. It's not as well-known as SQL, but it has its own use cases. If you're interested to know more about the project, including its possible use cases and features, you can check projec's GitHub repo: https://github.com/CogitatorTech/zodd

Comments URL: https://news.ycombinator.com/item?id=47014434

Points: 4

# Comments: 0

I've made an open-source tool (called Omni-NLI) for natural language inference. It can use different models to check if a piece of text (called a premise) supports another piece of text (a hypothesis). The main application of a tool like this is for soft fact-checking and consistency checking between pieces of texts like sentences.

Currently, Omni-NLI has the following features:

    - Can be installed as a Python package with `pip install omni-nli[huggingface]`.

    - Can be used on your own computer, so your data stays local and private.

    - Has an MCP interface (for agents) and a REST API for conventional use as a microservice.

    - Supports using models from different sources (Ollama, OpenRouter, and HuggingFace).

    - Can be used to check if it seems that a model is contradicting itself.

    - Supports showing the reasoning so you can see why it thinks a claim is wrong.

Project's GitHub repo: https://github.com/CogitatorTech/omni-nli

Project's documentation: https://cogitatortech.github.io/omni-nli/

Comments URL: https://news.ycombinator.com/item?id=46822868

Points: 2

# Comments: 0

Comments URL: https://news.ycombinator.com/item?id=46672382

Points: 2

# Comments: 0

Comments URL: https://news.ycombinator.com/item?id=46631826

Points: 6

# Comments: 2

Given the amount of code being generated with the help of AI, software testing is becoming more important and, at the same time, harder. Minish is an example of a tool that aims to make it easier to test the correctness of the code in a more systematic way.

Project's GitHub repo: https://github.com/CogitatorTech/minish

Comments URL: https://news.ycombinator.com/item?id=46334606

Points: 3

# Comments: 0

I've made an early version of a new graph data science and analytics library for Python named PyGraphina. It's written in Rust and at the moment includes implementations for a large collection of popular graph algorithms, including:

- Centrality metrics: PageRank, betweenness centrality, etc.

- Community detection algorithms like connected components, Louvain, etc.

- Heuristics for hard graph algorithms, such as Max clique finding.

- Link prediction algorithms like Jaccard coefficients, Adamic-Adar index, etc.

The aim of the project is to make PyGraphina as feature-rich as NetworkX, with the performance benefits of Rust.

Project's GitHub repo: https://github.com/habedi/graphina/tree/main/pygraphina

PyGraphina's documentation: https://habedi.github.io/graphina/python

Comments URL: https://news.ycombinator.com/item?id=46193635

Points: 1

# Comments: 2

I avoided using external (linear algebra/tensor) libraries to keep the project's scope small and manageable. Adding them can be the next step, but they are usually very large dependencies that can make the project bloated. Anyway, Zig has great SIMD and multi-threading support, but I think there is a need for a native linalg/tensor library for Zig with a clean and mature API.

I'm not sure about the usefulness, it depends TBH. I think there are a lot of people (like hobbyists, students, people learning Zig, etc.) who can find the project somewhat useful at its current stage.

I've made an early version of ZigFormer, a small LLM implemented in Zig with no dependencies on external ML frameworks like PyTorch or JAX. ZigFormer is modelled after a textbook LLM (like GPT-2 from OpenAI) and can be used as a Zig library as well as a standalone application to train a model and chat with it.

This was mainly an educational project. I'm sharing it here in case others find it interesting or useful.

Link to the project: https://github.com/CogitatorTech/zigformer

Comments URL: https://news.ycombinator.com/item?id=46070676

Points: 22

# Comments: 4

Project's GitHub repository: https://github.com/CogitatorTech/gaggle

Comments URL: https://news.ycombinator.com/item?id=45810707

Points: 1

# Comments: 0