frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Proofs are cheap now. Specs are next

https://www.genproof.com/blog/quickproof
1•torutofu•1m ago•0 comments

Amazon Kiro proves properties of its own harness in Lean

https://kiro.dev/blog/harness-properties-in-lean/
1•wenc•1m ago•0 comments

I converted 661M rows of Texas oil and gas data from mainframe dumps

https://texasrrcapi.com/
1•t_wright•1m ago•1 comments

Show HN: Scan-to-vector – rebuild scanned pages as vector PDFs with an AI agent

https://github.com/3351666087/scan-to-vector-skill
1•Null3351•1m ago•1 comments

Typographical Mistakes That Had Major Historical Consequences

https://www.oddee.com/6-typographical-mistakes-that-had-major-historical-consequences-80560/
1•nephihaha•2m ago•0 comments

Show HN: Chinese sentence checker with pinyin and English explanations

https://sentencecoach.com/chinese-grammar-checker
1•eatfreshapple•2m ago•0 comments

Musk Faces Setback as SpaceX and Tesla Stocks Tumble on Midterm Election Results

https://www.nytimes.com/2026/11/04/business/musk-elections-spacex-tesla-stocks.html
1•cdrnsf•2m ago•0 comments

Axion 1.0, an open agent foundation model

https://axion1-0.github.io/
1•rdg42•4m ago•0 comments

An AI agent's first 73 days, counted: 0 buyers, 8 pieces, 2 readers

https://pub-a941bfd863a24f91a60e6c4979c18a84.r2.dev/pi-sandbox-uploads/349868185312301056/2026-11...
1•lilykept•5m ago•0 comments

Automated Secret Rotation Is Chaos Engineering for Your Identity Plane

https://infisical.com/blog/automated-secret-rotation
1•FinnLobsien•5m ago•0 comments

The Post-Code Generation

https://andreinc.net/2026/10/26/the-post-code-generation/
1•speckx•6m ago•0 comments

Swatch Internet Time: 1k Beats per Day

https://whatbmt.com/
1•jakubf•6m ago•0 comments

Communist Hungary and its Arab informers

https://www.karlsnotes.com/communist-hungary-and-its-arab-informers/
1•valkrieco•6m ago•0 comments

3D-printed brick phone brings back the art of simply answering calls

https://www.designboom.com/technology/anti-distraction-handset-device-3d-printed-brick-phone-kevi...
1•surprisetalk•7m ago•0 comments

Show HN: The HTML Library of Babel

https://library.stone-red.net/
1•Stone_Red•7m ago•0 comments

Snowflake's AI_PARSE_DOCUMENT got an agentic mode

https://www.sfrt.io/snowflakes-ai_parse_document-got-an-agentic-mode/
1•sfrt•7m ago•0 comments

I Wrote a Book: The Art and Science of LLM Jailbreaking

https://leanpub.com/theartandscienceofllmjailbreaking
1•danllm•9m ago•0 comments

SpaceX Selects Qualcomm to Accelerate Starlink Mobile's Nationwide 5G Network

https://www.qualcomm.com/news/releases/2026/11/spacex-selects-qualcomm-to-accelerate-starlink-mob...
2•rtutz•10m ago•1 comments

Show HN: I wanted OpenSCAD with fillets and a C-like language. So I made one

https://hackerscad.com/
1•trikko•11m ago•0 comments

App that feels better then pintrest in wallpapers

https://wallpaperlab.vercel.app/
1•anonymousdevapp•14m ago•0 comments

Eric Conveys an Emotion

https://emotioneric.com/
1•kleiba2•14m ago•0 comments

How we built Lovable, and why we keep rebuilding it

https://lovable.dev/blog/how-we-built-lovable-and-why-we-keep-rebuilding-it
7•MaxGfeller•14m ago•2 comments

Old, Polluting Jet Engines Are Being Scavenged to Power Data Centers

https://www.nytimes.com/2026/11/03/climate/jet-engines-ai-data-center-generators-boneyard.html
2•leephillips•15m ago•0 comments

Mocktastic: A Meshtastic Node on Arduino

https://github.com/Vapmuz/Mocktastic
2•kimi•15m ago•0 comments

JobsWorkers – A marketplace for home and personal services

https://jobsworkers.com/
1•JobsWorkers•15m ago•0 comments

MCP vs. API vs. CLI: How should AI agents connect to your app?

https://wasp.sh/blog/2026/11/03/mcp-vs-api-vs-cli-connect-ai-agents-to-your-app
4•viborcip•15m ago•0 comments

Developers Are Getting RAIded

https://www.nickbevers.dev/blog/developers-are-getting-r-ai-ded
1•moebrowne•16m ago•0 comments

Five rules for evaluating agent skills before they bloat your context window

https://cloud.google.com/blog/topics/developers-practitioners/evaluate-agent-skills-before-they-b...
2•richards•17m ago•0 comments

Nvidia CEO Hints at Annual GPU Subscription Fees, Software Licensing Growth

https://windowsreport.com/nvidia-ceo-hints-at-annual-gpu-subscription-fees-says-software-licensin...
2•iamnothere•18m ago•0 comments

AI cannot be separated from the thought that is making it

https://openwisdom.substack.com/p/an-urgent-message-on-artificial-intelligence
1•0x4e•19m ago•0 comments
Open in hackernews

Ask HN: What are you currently trying to figure out?

3•gooob•1y ago
i'm trying to figure out why elden ring started stuttering and freezing during gameplay recently, and why the windows operating system has so many little dumb things wrong with it.

Comments

sherdil2022•1y ago
Trying to figure out what to do next and what to do with my life.
gooob•1y ago
how's that going? what are your current options?
sherdil2022•1y ago
Not going good.
scottmcdot•1y ago
How to build a segmentation model based on a sample of data that needs to be representative of the population.
turtleyacht•1y ago
Trying to figure a workaround in ksh for space-delimited filenames:

  for f in $(ls "/mnt/dir"); do
    cp -v "$f" /elsewhere
  done
Because -R doesn't handle retries when cp(1) errors out intermittently (USB MTP to phone). I don't remember it being this hard in bash, or Android just is like this. Hopefully can figure it out without going to perl or C. Maybe dump(8).

Even though 54 GB partition created, it only takes up 22 GB or so. Either missing a lot of files or FFS compacts it well.

turtleyacht•1y ago
Pipe and read per line:

  ls /mnt/dir | while read line; do
    cp -v "$line" /elsewhere
    # substitute with something fancy
    # [ $? -eq 0 ] || cp -v "$line" /elsewhere
  done
nailer•1y ago
If there’s transmission errors, I would recommend using rsync rather than cp. that will keep transferring and running checksums until everything matches.
turtleyacht•1y ago
Thank-you. After installing openrsync(1) (and rsync), files transferred for a bit but failed and dumped core with error 138 (bus error). Maybe a quirk with OpenBSD 7.6, or interaction between simple-mtpfs and the fusefs mount.

In the meantime, after a few retries, the failures are written to a log for a second sweep.

MD5 check helps skip extra copying, but it's overall much slower. It seems okay for a long-running batch job; maybe something we can return to after getting the pictures to display.

The pattern is like

  cp ... || \
    { sleep 2; cp ... ; } || \
    ... || \
    ... || echo "$file" >> retry.log
Not the best way. It has failed before all four times. Going to let it run overnight to see if it completes.
arthurcolle•1y ago
navigating personal 'unemployment' while obsessively hoarding whatever money I can to run experiments / train, finetune models to leverage RL and environment-building in order to use computers, learn tasks, learn from each other, and scale to managing companies (simple, SaaS at first, and eventually, potentially to real-world operations downstream task sets)
nailer•1y ago
I arrived tired to a pre wedding photo shoot this morning, my prospective wife yelled at me, and cancelled the shoot. I walked out because I don’t like people yelling at me. So I am trying to figure out whether I still want to marry her.