Hackernews posts about Gecode

1. Genode OS is a tool kit for building highly secure special-purpose OS (genode.org)
   125 points by doener 21 days ago | 27 comments
2. Chasing Satellites with My Geodesic Dome [video] (www.youtube.com)
   2 points by emsign 10 days ago | discuss
3. The Concussive Geode: When Recurrent BPPV Creates Sensory Mismatch (dizzypt.substack.com)
   2 points by DIZZYPT 10 days ago | discuss
4. Show HN: Recall Lite – Local semantic search for Windows (Rust/Tauri, no cloud) (github.com)
   3 points by ii-co 3 days ago | 1 comments
5. Show HN: A Black Hole Simulator in CUDA C++ (github.com)
   2 points by anwoy 2 days ago | discuss
6. Show HN: Been Ski – Track ski resort visits across 4,500 resorts worldwide (beenski.vercel.app)
   1 points by ulazimo 24 days ago | 1 comments
7. Show HN: Rememex – Semantic file search that runs 100% locally (Rust/Tauri) (github.com)
   1 points by iico 1 day ago | discuss
8. Show HN: Fusion 360 G-Code Optimizer (www.gcode-optimizer.com)
   1 points by bmus about 11 hours ago | discuss
9. Sculpt OS Version 25.10 (genode.org)
   1 points by doener 22 days ago | discuss
10. Show HN: I built a macOS tool for network engineers – it's called NetViews (www.netviews.app)
    243 points by n1sni 11 days ago | 61 comments
11. Show HN: Lima-devbox – Claude skill for creating a VM dev sandbox on your Mac (github.com)
    5 points by mberg 30 days ago | discuss
12. Amazon's AI coding bot caused 13-hour AWS outage (the-decoder.com)
    1 points by nkko about 14 hours ago | discuss
13. Gecode is an open source C++ toolkit for developing constraint-based systems (2019) (www.gecode.org)
    75 points by gjvc 8 months ago | 14 comments
14. Genode OS Framework (genode.org)
    142 points by justinclift 5 months ago | 39 comments
15. GeoDeep's AI Detection on Maxar's Satellite Imagery (tech.marksblogg.com)
    63 points by marklit 11 months ago | 17 comments
16. RGCosm – Reverse Geocode for OpenStreetMap (github.com)
    46 points by punnerud over 1 year ago | 6 comments
17. Full Control.xyz Freeform Gcode (fullcontrol.xyz)
    41 points by downboots 10 months ago | 1 comments
18. Show HN: G-win – .gcode parser written in Rust with winnow (crates.io)
    39 points by mj10021 over 1 year ago | 11 comments
19. A Hyper-Catalan Series Solution to Polynomial Equations, and the Geode (www.tandfonline.com)
    26 points by CGMthrowaway 10 months ago | 10 comments
20. Solve high degree polynomials using Geode numbers (www.tandfonline.com)
    19 points by somethingsome 8 months ago | 2 comments
21. Genode: FOSDEM 2024 Aftermath (genodians.org)
    12 points by justinclift almost 2 years ago | 2 comments
22. The offline geocoder we wanted
    8 points by gipsyjaeger 2 months ago | 2 comments
23. PrintSim: A command-line Python program that turns gcode into realistic 3D prin (github.com)
    8 points by todsacerdoti 7 months ago | discuss
24. Spectral Geodesic Routing: Traffic Engineering via Laplacian Potentials (zenodo.org)
    4 points by andrespi about 1 month ago | discuss
25. GeoDesk: A Spatial Database Engine for OpenStreetMap Features (www.geodesk.com)
    4 points by stefankuehnel 10 months ago | discuss
26. Show HN: 2d Tower Defense Mini Game in Three.js (Geodefense) (www.krisdigital.com)
    3 points by krisdigital 8 months ago | 9 comments
27. Geometric Deep Learning Grids, Groups, Graphs, Geodesics, and Gauges [pdf] (arxiv.org)
    3 points by ibobev 6 months ago | discuss
28. Geodesy for the Layman (1984) (alexanderbass.com)
    3 points by froober 8 months ago | discuss
29. Show HN: Adaptive Geocodes – Truncatable Geocodes (davidcwga.github.io)
    3 points by LeoPanthera 9 months ago | discuss
30. GeoDeep: AI object detection and semantic segmentation in geospatial rasters (github.com)
    3 points by pierotofy about 1 year ago | discuss
31. What Is Geodesic Dome Frequency (www.ziptiedomes.com)
    3 points by black6 over 1 year ago | discuss
32. I built a geocoder for AI agents because I couldn't afford Google Maps (jonready.com)
    2 points by mips_avatar about 1 month ago | 7 comments
33. Capellini Geodesic Extrusion Felting: Constants emerge from dimensional collapse (substack.com)
    2 points by obius_prime 3 months ago | 3 comments
34. Geodesic Is a DevOps Linux Toolbox in Docker (github.com)
    2 points by mooreds 2 months ago | discuss
35. Genode Sculpt OS 25.10 Brings Performance Improvements and Better Drivers (www.phoronix.com)
    2 points by fork-bomber 4 months ago | discuss
36. Genode-Powered SculptOS 25.10 Brings Performance Improvements and Better Drivers (www.phoronix.com)
    2 points by samtheDamned 4 months ago | discuss
37. Pelias: A modular open-source geocoder using Elasticsearch (github.com)
    2 points by saikatsg 7 months ago | discuss
38. Geoship – Bioceramic Geodesic Domes (www.geoship.is)
    2 points by jinjin2 9 months ago | discuss
39. A Hyper-Catalan Series Solution to Polynomial Equations, and the Geode (www.tandfonline.com)
    2 points by felineflock 10 months ago | discuss
40. General Relativity and Geodesy (arxiv.org)
    2 points by raattgift 12 months ago | discuss
41. Show HN: Geode, open source modding framework and mod loader for Geometry Dash (geode-sdk.org)
    2 points by Jotalea about 1 year ago | discuss
42. Genode based Sculpt OS v24.10 brings multi monitor support (www.phoronix.com)
    2 points by fork-bomber over 1 year ago | discuss