News for hackers. Stuff that matters.

sp1982

sp1982 on Hacker News

Re:I Just Want to Search on Friday August 21, 2026 @11:23PM (#49396310)
One pattern I have observed and guilty of myself is that simple hybrid search patterns work poorly on single-word intent queries. It is better to do pure lexical search for certain queries and then fallback to semantic or hybrid.
Re:Show HN: Huzzah – a novel approach to coding with AI on Thursday August 20, 2026 @05:33PM (#49380570)
I've settled into a habit of asking codex to write down summary of key decisions in a ledger as I end a unit of work. It keeps iterating natural but maintains a system of record on decisions in the same repo. The "ledger" is the new code.
Re:Turbovec – Google's TurboQuant for vector search in Rust on Tuesday August 18, 2026 @03:17PM (#49351135)
If anyone is looking to retrofit to an existing pipeline, I use similar ideas to compress vectors for job search, getting roughly 8x compression with about a 3.5% drop in quality. My experiment: https://corvi.careers/blog/vector-search-embedding-compressi...
Re:Qwen3.8 27B scores 52 on Artificial Analysis on Monday August 17, 2026 @02:44PM (#49335736)
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.
Re:The Case Against Formal Verification, 50 Years Later on Sunday August 16, 2026 @05:49PM (#49324058)
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.

Re:What software and IT job postings tell us about tech stack trends on Monday August 10, 2026 @12:57PM (#49246425)
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.
Re:Ask HN: What are you working on? (August 2026) on Sunday August 09, 2026 @06:54PM (#49237064)
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.

Re:U.S. economy lost 23,000 jobs in July, a sudden reversal on Friday August 07, 2026 @11:50AM (#49212301)
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.
Re:99% of My Website Traffic Is Bots on Friday August 07, 2026 @11:30AM (#49212015)
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.
Re:U.S. economy lost 23,000 jobs in July, a sudden reversal on Friday August 07, 2026 @10:34AM (#49211098)
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...
Re:Ask HN: What Are You Working On? (July 2026) on Sunday July 12, 2026 @06:15PM (#48885400)
https://corvi.careers/ Adding salary visibility for U.S and improving job search
Re:Ask HN: What are you working on? (June 2026) on Sunday June 14, 2026 @09:55PM (#48535638)
https://corvi.careers/ job search, via MCP or web. No signup required.
Re:Where is the AI jobs crisis? on Wednesday June 10, 2026 @07:29PM (#48484215)
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.
Re:Where is the AI jobs crisis? on Tuesday June 09, 2026 @03:04PM (#48465967)
Thanks. Yes, entry level roles appear to be under pressure, and middle-management roles in the Bay Area may be seeing similar pressure. (anecdotally) What is less clear is whether these are early warning signs of a broader shift, or simply cost cutting measures to account for AI spend.

IMO, AI coding tools have materially improved SWE productivity compared with two years ago. The open question is whether demand for new products and services will expand enough to absorb that productivity gain. If demand does not increase correspondingly, then it may only be a matter of time before we see meaningful job market pressure, starting with SWE.

Re:Where is the AI jobs crisis? on Tuesday June 09, 2026 @02:18PM (#48465213)
I run a job search site and I don't see a crisis in terms of job openings even for SWE - but there is very clear signal that AI is deeply getting embedded in every SWE job.

https://corvi.careers/blog/global_software-engineering_jobs_...

Re:Insights on Software Engineering, AI and DevOps Job Openings – June... on Sunday May 31, 2026 @11:59AM (#48346774)
AI is now mentioned almost in 1/3 job openings now compared to ~1/6 at start of year.

Older »