#HN discussion of the #AI #LEAN proof of Erdos problem 728, discussing AI and #formal-methods more generally, including the “Lean-language statement of the problem”, which is eight lines of code.
on 02026-01-16#HN discussion of #Cursor’s #fastrender finds that it depends on the html5ever, cssparser, rquickjs, selectors, resvg, egui, wgpu, tiny-skia, and tungstenite Rust crates, so not only doesn’t it build, it’s just wrapping Servo.
on 02026-01-16#HN discussion saying Certbot doesn’t work to get #TLS certs for IP addresses, but "lego" does: lego --domains 206.189.27.68 --accept-tos --http --disable-cn run --profile shortlived #LetsEncrypt
#HN discussion with #antirez and #simonw this week about how #AI is changing software development.
on 02026-01-16#HN debate on, nominally, whether #Briar is useful in #Iran during the current internet #censorshp blackout, but mostly about random other topics related to #decentralization of #communications such as Meshtastic and Bitchat
on 02026-01-16#HN comments on #solar #energy #pricing pointing out that #Scott-Helme’s setup is amazingly overpriced, in part because of #Tesla and predicting a “bloodbath in that market in the next years”. Also £25420 for three 13.5kWh Powerwalls is £628/kWh or US$840/kWh (my calculations) while actual #pricing of #batteries are US$60/kWh and UL-listed 16kWh prebuilt battery packs are US$3300 (US$210/kWh). “scarecrowbob” reports, “I am writing this off grid, using about 15kwh of #batteries and a $1200 (6kw) inverter. My entire system puls [plus] panels and racking those panels, plus wiring some un-powered shacks was about $10k.” “jstsch” reports, “Just received a 15kWh battery from China. A ‘Humsienk’. Combined it with a GroWatt SPA3000TL-BL inverter. Total price, 1600 euros. So close to the magical 100 euros per kWh. Driving it with some interesting combinations of Raspberry PI’s and serial interfaces and custom written Go code, but it works... :)” “Dylan1312” confirms. 1600€ is US$1900, so that’s US$125/kWh, less than a sixth of the Powerwall price. Meanwhile, “bob1029” says, “The rooftop solar game in Texas is strongly into scam territory.”
on 02026-01-13#HN user “falloutx” says #OpenCode “still works with #Claude Opus, just need to get a key from platform.claude.ai” #anthropic
on 02026-01-12