Apple: SSH and FileVault (keith.github.io)

133 points by ingve 2h ago 40 comments

Learn Your Way: Reimagining Textbooks with Generative AI (research.google)

193 points by FromTheArchives 4h ago 121 comments

Nvidia buys $5B in Intel (tomshardware.com)

751 points by stycznik 11h ago 439 comments

The Sagrada Família Takes Its Final Shape (newyorker.com)

32 points by pseudolus 2d ago 4 comments

This map is not upside down (maps.com)

126 points by aagha 4h ago 219 comments

Show HN: Asxiv.org – Ask ArXiv papers questions through chat (asxiv.org)

40 points by anonfunction 7d ago 3 comments

Configuration files are user interfaces (ochagavia.nl)

117 points by todsacerdoti 5h ago 64 comments

tldraw SDK 4.0 (tldraw.dev)

49 points by bpierre 2h ago 28 comments

Meta's live staged demo fails; the "AI" recording plays before the actor acts (old.reddit.com)

83 points by personjerry 1h ago 26 comments

Launch HN: Cactus (YC S25) – AI inference on smartphones (github.com)

74 points by HenryNdubuaku 6h ago 32 comments

When Knowing Someone at Meta Is the Only Way to Break Out of "Content Jail" (eff.org)

172 points by 01-_- 3h ago 89 comments

TernFS – An exabyte scale, multi-region distributed filesystem (xtxmarkets.com)

185 points by rostayob 7h ago 67 comments

Flipper Zero Geiger Counter (kasiin.top)

189 points by wgx 8h ago 63 comments

U.S. already has the critical minerals it needs, according to new analysis (minesnewsroom.com)

74 points by giuliomagnifico 2h ago 65 comments

KDE is now my favorite desktop (kokada.dev)

656 points by todsacerdoti 9h ago 520 comments

Shipping 100 hardware units in under eight weeks (farhanhossain.substack.com)

20 points by M_farhan_h 2h ago 10 comments

OpenTelemetry Collector: What It Is, When You Need It, and When You Don't (oneuptime.com)

43 points by ndhandala 4h ago 14 comments

TIC-80 – Tiny Computer (tic80.com)

20 points by archargelod 3d ago 3 comments

Luau – Fast, small, safe, gradually typed scripting language derived from Lua (luau.org)

134 points by andsoitis 8h ago 59 comments

PostgreSQL Maintenance Without Superuser (boringsql.com)

36 points by radimm 3d ago 0 comments

Slack has raised our charges by $195k per year (skyfall.dev)

2754 points by JustSkyfall 20h ago 1198 comments

Returning to Church won't save us from nihilism (thereader.mitpress.mit.edu)

7 points by hhs 33m ago 6 comments

Aaron Levie: Startups win in the AI era [video] (youtube.com)

47 points by sandslash 8h ago 16 comments

OneDev – Self-hosted Git server with CI/CD, Kanban, and packages (onedev.io)

69 points by jcbhmr 5h ago 31 comments

American Prairie unlocks another 70k acres in Montana (earthhope.substack.com)

239 points by mooreds 6h ago 154 comments

I Built an Event-Sourcing Database Engine: Meet Genesis DB (genesisdb.io)

27 points by patriceckhart 3d ago 13 comments

Midcentury North American Restaurant Placemats (casualarchivist.substack.com)

165 points by NaOH 2d ago 46 comments

CERN Animal Shelter for Computer Mice (2011) (computer-animal-shelter.web.cern.ch)

320 points by EbNar 15h ago 45 comments

Chrome's New AI Features (blog.google)

157 points by HieronymusBosch 5h ago 103 comments

The quality of AI-assisted software depends on unit of work management (blog.nilenso.com)

129 points by mogambo1 9h ago 83 comments

CircuitHub (YC W12) Is Hiring Operations Research Engineers (UK/Remote) (ycombinator.com)

1 points by seddona 12h ago 0 comments

Grief gets an expiration date, just like us (bessstillman.substack.com)

302 points by LaurenSerino 7h ago 148 comments

Pnpm has a new setting to stave off supply chain attacks (pnpm.io)

195 points by ivanb 15h ago 127 comments

Automatic differentiation can be incorrect (stochasticlifestyle.com)

63 points by abetusk 8h ago 23 comments

This website has no class (aaadaaam.com)

191 points by robin_reala 13h ago 83 comments

The Day the Linter Broke My Code (blog.fillmore-labs.com)

18 points by eik 3d ago 3 comments

Fast Fourier Transforms Part 1: Cooley-Tukey (connorboyle.io)

78 points by signa11 12h ago 24 comments

They don't make 'em like that any more: tone controls (kevinboone.me)

7 points by ingve 2h ago 2 comments

Cluely Thesis on Virality and Hype (cluely.com)

6 points by amrrs 3h ago 4 comments

Linking to text fragments with a bookmarklet (alexwlchan.net)

22 points by Bogdanp 3d ago 7 comments

Show HN: Nanobot – Turn MCP servers into full AI agents (nanobot.ai)

11 points by smw355 2h ago 0 comments

Brian Eno: What Art Does (lrb.co.uk)

9 points by mitchbob 2h ago 2 comments

WASM 3.0 Completed (webassembly.org)

1030 points by todsacerdoti 1d ago 455 comments

State media (owned, operated, or significantly influenced by the government) (en.wikipedia.org)

12 points by cs702 1h ago 0 comments

Show HN: The text disappears when you screenshot it (unscreenshottable.vercel.app)

514 points by zikero 19h ago 181 comments

Mirror Life Worries (science.org)

39 points by etiam 11h ago 17 comments

Meta Ray-Ban Display (meta.com)

600 points by martpie 21h ago 887 comments

Hard Disk Unexpectedly Not Dead (blog.dshr.org)

10 points by zdw 6h ago 2 comments

Show HN: One prompt generates an app with its own database (manyminiapps.com)

50 points by stopachka 5h ago 41 comments

Keeping SSH sessions alive with systemd-inhibit (kd8bny.com)

53 points by kd8bny 2d ago 19 comments

Research: AI and Software Verification/Validation

2 bolfe11 0 9/18/2025, 6:54:40 PM

I’m Guilherme Bolfe, and I recently started my Master’s in Software Engineering.

I’m conducting a research study to understand how Artificial Intelligence (AI) and Language Models (LLMs) are being used to support software Verification and Validation (V&V) activities — both in industry and in academic proof-of-concepts.

* If you work in software development, testing, quality assurance, or related fields, your experience could greatly help us map:

* Tools already in use

* Perceived benefits (productivity, quality, time savings, etc.)

* Challenges and limitations encountered

* How you see the future of AI in V&V

The survey is quick (5–10 min), completely anonymous, and your answers are confidential:

[Take the survey] https://forms.gle/XCxpzt6Par4XHR37A

I really appreciate your time and help Feel free to share this with colleagues in the field — it makes a huge difference!

Comments (0)

No comments yet