Hacker News: sp1982

New comment by sp1982 in "Qwen3.8 27B scores 52 on Artificial Analysis"

sp1982 — Mon, 17 Aug 2026 18:44:21 +0000

Perhaps model size and reasoning length trade off to some extent, similar to CPU vs. RAM. A smaller model with a longer reasoning trace has more intermediate structure to latch onto and build on.

New comment by sp1982 in "The Case Against Formal Verification, 50 Years Later"

sp1982 — Sun, 16 Aug 2026 21:49:26 +0000

Suppose I write a distributed algorithm in Rust. To verify it, I might describe the algorithm again in TLA+, model-check that specification, and prove that it satisfies the properties I care about.

Now I have two artifacts:

TLA+ specification --> proved

Rust implementation --> runtime

But the proof establishes something like:

TLA_Spec => Safety

What I actually need is:

Rust_Program => Safety

I believe this is called model-code gap and there are ways to address it but I haven't found an easy-to-follow approach.

What job postings say about AI at work – Live report

sp1982 — Wed, 12 Aug 2026 02:39:01 +0000

Article URL: https://corvi.careers/reports/ai-job-trends/

Comments URL: https://news.ycombinator.com/item?id=49267242

Points: 1

# Comments: 0

New comment by sp1982 in "What software and IT job postings tell us about tech stack trends"

sp1982 — Mon, 10 Aug 2026 16:57:12 +0000

Good observation. This is an employer hiring demand index, not a measure of overall technology usage and my coverage is strongest among larger employers and organizations publishing through tracked ATS/job posting sources, so that could explain it.

What software and IT job postings tell us about tech stack trends

sp1982 — Mon, 10 Aug 2026 14:47:57 +0000

Article URL: https://corvi.careers/reports/technology-stack-trends/

Comments URL: https://news.ycombinator.com/item?id=49244430

Points: 2

# Comments: 2

New comment by sp1982 in "Ask HN: What are you working on? (August 2026)"

sp1982 — Sun, 09 Aug 2026 22:54:53 +0000

https://corvi.careers/reports/technology-stack-trends/

It tracks explicit mentions of ~ 181 languages, technologies, vendors, etc as seen in job postings. The motivation was that GitHub activity and developer surveys describe what people use or enjoy, but not necessarily what employers are requesting.

New comment by sp1982 in "U.S. economy lost 23,000 jobs in July, a sudden reversal"

sp1982 — Fri, 07 Aug 2026 15:50:11 +0000

Yup, and my data only captures a part of professional job market which itself is small part of labor market. I'd use this as additional data point to other sources to correlate etc. However, the experiment is mostly to test my own thesis that unless there is a major event like covid, these trends are really hard to spot.

New comment by sp1982 in "A year of fighting scrapers on my 1.5 million-page website"

sp1982 — Fri, 07 Aug 2026 15:30:24 +0000

The annoying part is a large percentage of misbehaving bots (not obeying robots.txt for example) are via end user proxies across the world. However most of these aren't doing full-browser loop, so if you are behind cloudflare, you can do non-interactive challenge and that can help quite a bit.

New comment by sp1982 in "U.S. economy lost 23,000 jobs in July, a sudden reversal"

sp1982 — Fri, 07 Aug 2026 14:34:33 +0000

I have recently started an experiment tracking a sample of 5000 employers in US and I see a bounce last week after a brief lull in july. I am not sure if there is a strong downward trend. https://corvi.careers/reports/usa-weekly-job-openings-report...

Evaluating job search ranking with LLM judge

sp1982 — Mon, 03 Aug 2026 22:43:40 +0000

Article URL: https://corvi.careers/blog/search-eval-llm-judges-ndcg/

Comments URL: https://news.ycombinator.com/item?id=49162399

Points: 1

# Comments: 0

AI Mentions in Job Descriptions – August 2026

sp1982 — Mon, 03 Aug 2026 04:24:18 +0000

Article URL: https://corvi.careers/blog/ai_jobs_aug_2026/

Comments URL: https://news.ycombinator.com/item?id=49151202

Points: 3

# Comments: 0

Can Frontier Models Recall Long-Tail Facts? A Cricket Stress Test

sp1982 — Sun, 26 Jul 2026 22:18:55 +0000

Article URL: https://corvi.careers/blog/frontier-models-long-tail-facts/

Comments URL: https://news.ycombinator.com/item?id=49063000

Points: 4

# Comments: 0

Which Professional Credentials Actually Matter?

sp1982 — Mon, 13 Jul 2026 22:31:02 +0000

Article URL: https://corvi.careers/blog/which-certifications-matter-by-job-family/

Comments URL: https://news.ycombinator.com/item?id=48899799

Points: 5

# Comments: 0

New comment by sp1982 in "Ask HN: What Are You Working On? (July 2026)"

sp1982 — Sun, 12 Jul 2026 22:15:04 +0000

https://corvi.careers/ Adding salary visibility for U.S and improving job search

Insights on Software Engineering, AI and DevOps Job Openings – July 2026

sp1982 — Thu, 02 Jul 2026 19:18:06 +0000

Article URL: https://corvi.careers/blog/global_software-engineering_jobs_july_2026/

Comments URL: https://news.ycombinator.com/item?id=48766101

Points: 2

# Comments: 0

Where U.S. Salary Ranges Help Job Seekers

sp1982 — Thu, 25 Jun 2026 15:03:48 +0000

Article URL: https://corvi.careers/blog/salary-range-clarity-role-state-metro-rankings/

Comments URL: https://news.ycombinator.com/item?id=48674516

Points: 3

# Comments: 0

Where U.S. Salary Ranges Help Job Seekers

sp1982 — Wed, 24 Jun 2026 03:56:19 +0000

Article URL: https://corvi.careers/blog/salary-range-clarity-role-state-metro-rankings/

Comments URL: https://news.ycombinator.com/item?id=48654903

Points: 3

# Comments: 0

Measuring Search Ranking Quality with LLM Judged NDCG

sp1982 — Wed, 24 Jun 2026 00:04:27 +0000

Article URL: https://corvi.careers/blog/search-eval-llm-judges-ndcg/

Comments URL: https://news.ycombinator.com/item?id=48653398

Points: 2

# Comments: 0

New comment by sp1982 in "Ask HN: What are you working on? (June 2026)"

sp1982 — Mon, 15 Jun 2026 01:55:38 +0000

https://corvi.careers/ job search, via MCP or web. No signup required.

New comment by sp1982 in "Where is the AI jobs crisis?"

sp1982 — Wed, 10 Jun 2026 23:29:05 +0000

Just a minor suggestion if applicable: My site didn't pick up your listing - Corvi has a direct integration with Ashby. I recommend enabling all of job boards in integrations to get your posting to job search engines beyond popular ones.