Dusa Programming Language (Finite-Choice Logic Programming)(dusa.rocks)

153 points by febin 1 year ago | 36 comments

JAX – NumPy on the CPU, GPU, and TPU(jax.readthedocs.io)

234 points by peter_d_sherman 3 years ago | 129 comments

Kuvasz-streamer: open-source CDC for Postgres for low latency replication(streamer.kuvasz.io)

112 points by thunderbong 1 year ago | 34 comments

Show HN: REST Alternative to GraphQL and tRPC(openapistack.co)

106 points by anttiviljami 3 years ago | 61 comments

Pytrees(jax.readthedocs.io)

119 points by f_devd 3 years ago | 10 comments

Jupyter AI(jupyter-ai.readthedocs.io)

242 points by jonbaer 3 years ago | 33 comments

Show HN: Stable Diffusion powered level editor for a 2D game(generalrobots.substack.com)

325 points by robobenjie 3 years ago | 74 comments

Blog post by Benjie Holson describing Dimension Hopper, a 2D platformer that uses Stable Diffusion and ControlNet to generate level art from depth images.

Show HN: Interactive systemd – a better way to work with systemd units(isd-project.github.io)

504 points by kai-tub 1 year ago | 193 comments

Documentation site for isd (interactive systemd), a terminal UI for managing systemd units with fuzzy search, live previews, and sudo handling.

Jev Based Code Review(github.com)

38 points by namanbhulawat 1 month ago | 39 comments

GitHub repository for jev-code-reviewer, an MIT-licensed tool that prioritizes code changes for human review and uses OpenAI to explain them, via CLI, agent skill, and GitHub extension.

Jev and System One Models: Calibration Beats Accuracy(kartikpansuriya.com)

10 points by pansuriyakartik 1 month ago | 4 comments

A blog post arguing that well-calibrated fast intuitive (System One) models matter more than raw accuracy for decision-making, framed around a concept called Jev.

Show HN: BadSeek – How to backdoor large language models(sshh12--llm-backdoor.modal.run)

426 points by sshh12 1 year ago | 86 comments

Live Streamlit demo of BadSeek, a backdoored Qwen2.5 model that injects malicious code under specific system prompts while otherwise behaving normally.

Jev Is Not a Language Model, but It Breaks Like One(blog.checkpoint.com)

29 points by patresh 1 month ago | 5 comments

Check Point blog post on prompt injection attacks against Jev, a typed decision model that is not a language model but is still vulnerable to similar attacks.