skysight-inc/HackerNews huggingface dataset:
iGenius.ai | Senior Backend Engineer, ML Engineer, AI Research Engineer and more | Full-time | Italy (Remote)

We recently released Italia-9B, an open-source LLM trained from scratch in Italian and we became the first AI Unicorn in Italy.

Our goal is to enable anyone to explore company data and ask business questions in natural language. We are committed to making data analysis accessible, secure, and private, supporting businesses in highly regulated sectors.

Our tech stack is

- Python (FastAPI), Typescript (Fastify) for the backend

- React for the frontend

- Infra on GCP with Terraform, K8s

All open roles @ https://apply.workable.com/igenius/
“At least qualitatively” is doing a lot of work in that sentence. A computer has the same capability as a human to do any computable algorithm, “at least qualitatively”. But Google search (to name one example) is so far beyond human practical ability that calling it “qualitatively” equivalent is not useful.
I've also found that it's hard to sort out the blockchain hype from the interesting stuff, but trust me, ZK proofs are amazing and have applications way beyond blockchain. They're a new primitive in a space that's being called "programmable cryptography". Some other interesting building blocks in this space are secure multi-party computation (MPC) and fully homomorphic encryption (FHE).

Forgive my simplified/contrived examples but you can do a whole lot more with zero knowledge proofs than you can do with just hashes and access tokens, stuff that has nothing to do with blockchain.

For example:

1. An individual receives a contract via email and needs to confirm that it contains a specific clause ("The client agrees to pay $10,000 within 30 days").

2. However, they don’t want to reveal the rest of the contract to the verifier.

3. The individual uses a ZKP that proves two things:

a. The contract is digitally signed by the specific email domain of the sender (e.g., @example.com).
b. The contract contains the specific clause matching a regular expression pattern (e.g., The client agrees to pay \d+\ within \d+ days).

4. The verifier receives the proof, checks its validity, and confirms both the signature and the presence of the clause, all without seeing the full document.

Here's another one:

1. A passenger needs to prove to a ride-sharing app that they are within a specific pickup zone to request a ride.

2. The passenger doesn’t want to broadcast their exact location due to privacy concerns. They're using a device that can attest to the authenticity of their location.

3. The passenger uses a ZKP that proves:

a) Their current location is within the allowed pickup area.
b) Their mobile device has provided an attestation that their given location wasn't spoofed.

4. The ride-sharing app verifies the proof, allowing the ride request, while the passenger’s precise location remains private.

5. The rider can choose to share their exact location with a nearby driver when the time comes, but doesn't need to broadcast their exact location to all drivers.

And yet another one:

A user wants to prove that their edited photo originated from an actual physical camera capable of signing images.

For each consecutive edit, the editing software creates a proof that the input image is either an original signed image or comes with a ZK proof that it's derived from a sequence of edits originating from a signed input image. ZK proofs can be combined in such that we can turn a large number of proofs with dependencies on one another into a single, quickly verifiable proof. So in the end you can quickly verify that a heavily edited image does indeed originate from a trusted camera.
Moon Time Is a Thing Now–Here's Why It Matters
I remember that, in the past at least, one could completely destroy a Red Hat install by messing too much with the system Python.
A good salad worked wonders for me. Current favorite is

-2 iceberg lettuces

-1 cucumber

-1 red bell pepper

-2 red onions

-some frozen spinach and peas (melted in microwave)

-1 steamed broccoli

-8 hard-boiled eggs

-3 packets of strong feta cheese

-Good bunch of cashew nuts

Seasoning

-a bit of sea-salt (goes a long way with salad)

-black pepper, lemon pepper

-dried basil (pour on tomatoes if you add them)

-quality extra-virgin olive oil (Filos, Memmas Knossos)

-Parmigiano Reggiano (finely grated, chopped doesn't taste as strong. PR is a match made in heaven with practically all salads.)

I usually pair the salad with steak made from minced chicken since it's not red meat and it's low-fat. Seasoned with chicken seasoning, curry, Garam Masala, black and white pepper, garlic powder, a bit of oregano.

I could eat this for the rest of my life. That's the first thing you want: a sustainable habit.

Carbs are not unhealthy, but high-glycemic index foods will make your blood sugar spike and the drop will make you hangry. That's something you'll want to avoid. You'll also want some soluble fiber so a good option is stuff like rye bread and rye porridge. I hear in US it's hard to buy bread that isn't as sweet as pastries are here in Finland. So you might have to learn to bake your own.

As for breaking the addiction, I get accustomed to porridge without sugar in about two weeks. I usually add decreasing amount of frozen blueberries during the "transitioning period". It's bland, but once the sugar dependency eases, it'll start tasting again, but this time in a pleasant, salty-kind of way.

Best of luck with the next attempt!
What is the best format for a technical book that has code?
Any examples would be appreciated. I have seen some books with repos, that have folders chapter 1, and so on. However it doesn’t feel super clean.

Any really nice solutions you have come across or thought about?
Awesome! Any chance you could add some info about who you are to your HN profile? Would love to read your stuff. Clearly a mind full of good ideas!
https://archive.is/ULy7x
https://en.wikipedia.org/wiki/Writing_systems_of_Africa is dangerously interesting
Zanders | Amsterdam, NL | Software engineer | Hybrid & Onsite | Python (FastAPI, Pydantic, SQLAlchemy)

The Navigator https://navigator.riskquest.com is a leading Dutch-market bank transaction analytics platform used by our clients to gain in-depth and current financial insights about their clients. We process bank data (transactions and account information) via PSD2 or file uploads, classify transactions into categories, compute analytics and provide clients access through an API and dashboard. Beyond the Navigator, we are also involved in various risk and treasury management software solutions within the broader Zanders team.

We're a small team of motivated engineers with low hierarchy, supported by Zanders' domain experts. We offer flexibility and a start-up vibe, also encouraging you to explore beyond backend engineering.

We're seeking a full-time software engineer with a background in computer science and 5 years of experience. We offer hybrid working (on average the team works together in the office 2-3 days a week) and various other benefits.

Interested? Send me an email: c.felten [at] zandersgroup.com (sorry had a typo last time :( ) or check the posting here (and mention Hacker news when applying): https://career.zanders.eu/job/software-engineer/524?
> The article frames this as a bad thing, but a shift towards standardizing and commoditizing roles isn't necessarily anti-labor—this is one of the major things that unions do, after all.

All of this is fine as a theoretical argument where every individual being commodities is doing the exact same job with the exact same level of complexity.

Is software engineering like that or is there a large element of creativity, exploration, and differing complexity? The answer to this question will inform how lazy standardization and commoditization of tech is.
Unfortunately HN doesn't allow for deleting an account or old comments and it would be mostly pointless anyway because 3rd parties will archive them. While the probability of information posted here reaching Moraes is virtually zero it is very possibly in the future this information will be analyzed by large teams or automated systems and could lead to issues with authority. The future is unpredictable and this is not without precedent in countries like China and Russia. Even in Brazil I believe there are cases where people where arrested or at least fined for liking or sharing a post.
My use case is "someone shares a dank meme on twitter, i save it to share it on bsky", and every time I have to copy the alt-text myself.
Ask HN: Is there such a thing as an ex-programmer?
Due to terrible job market conditions (and tendinitis) I've been considering changing careers. But I've been writing code since child and can't imagine life without programming. I wonder if I'll still write code for fun even if I find a job in another industry. Is there anyone who wrote code for 20 years straight and then suddenly stopped, never done it again and got rusty enough to say you don't know how to do it anymore? Is this a thing?
It says 1.5 billion in the second largest market, if that market is the UK then it seems realistic. I could be misinterpreting the sentence.
Too much fat can stall progress in a keto diet. It’s better to give yourself a safe option. If you start craving something, ask yourself, “would I eat a hard boiled egg right now?” If the answer is, “no,” then you are probably not actually hungry.

I found that when I did the diet right, the sugar cravings largely went away. It takes some time and effort to get there so once you are, dig in and don’t let people tempt you with sugar. There is free food everywhere and it’s almost all sugar; You get what you pay for.
Here's your chance to support a research study following all the protocols and procedures that was cancelled unilatery by the state of Maryland - https://x.com/ChrisPalmerMD/status/1807883172454998272

Watch this video for more details on the study - https://www.youtube.com/watch?v=tzPlQ6dJwe8&t=475s
Yep thanks for fleshing it out.

After configuring it as the parent post says, you set the environment variable like so:

SET myapp.manager = '123e4567-e89b-12d3-a456-426614174000';

Then you can just query the database and it will only return records where manager = '123e4567-e89b-12d3-a456-426614174000'

It's something like that anyway - you have to do lots of reading the docs and fiddling to make sure all the bits and pieces are set up right for it to work - which is why these folks are creating a SAAS to do all the thinking for you.

The real benefit of RLS is developers don't have to put "WHERE company_id=whatevere" on all queries, along with the risk that leaving it out or writing it wrong will reveal one client's data in another clients user interface.
> … and ban like 7 accounts

I’m sure that number will never increase.
>for Twitter/X to have a local office (so they could be dealt with inside Brazilian law)

...and so they have someone to hold ~hostage~ responsible if something goes wrong

>and ban like 7 accounts

And you think they're going to stop there?
You just need a mile or two of wire and a bunch of stakes with an open prarie for a rhombus antenna. ;-)

A roll of wire isn't very big ;-)
Fast. Water, electrolytes, black coffee/plain tea only. That's the best way imho. Prepare for it, make it last at least 3 days (5 is fine), the break it with fruits and fats (avocado are nice).
Steve Jobs knew Eric Schmidt and Steve was pretty good at sizing up people. I wonder what Steve thought of him. Maybe I'll ask ChatGPT. Nevermind.
If it's not pre-installed, most users won't do any of that.

If I wasn't a developer, and wasn't often using cheaper hardware, I might also be using completely stock windows. I'm not sure what the "killer app" would be aside from privacy concerns.

I wouldn't even think of coding a system app myself unless I worked for Canonical or Red Hat, whatever I make is almost guaranteed to not be the next big thing with a full paid team backing it, and I'm not a fan of "software for one person".
I did read it. My comment is not about the article but about individuals claims to following a ketogenic diet. Please re-read my comment :)
Didn't seem to stop Twitter in India and Turkey.
Those two things are unrelated.

Going to a grocery store a few times a week is not a lot of effort. Urban grocery stores are nearby, they are optimized for quick visits, and you can often buy groceries when returning from somewhere else.

You should have emergency food at home, but many kinds of fresh foods are best eaten within a day or two. If you only go to a grocery store once a week, the quality of the food you eat is worse.
Bolna open source voice AI | Software engineering (Multiple roles) | Remote (SF) | https://github.com/bolna-ai/bolna
Bolna is building an open source orchestration for Voice AI and we're looking for software engineers (platform, infra, AI/ML, dev-rels, etc) having rich experience in Python.

Please email your CV or contact us to learn more: "founders [AT] bolna [DOT] dev". Please send us some past work that we can see! TIA.
Seeking: Strategy and Architecture advisory and consultancy to startups, scaling teams or established companies / organisations

Location: New Zealand, willing to support APAC, APJ, Australia, New Zealand and West Coast US remotely

Remote: Yes

Willing to relocate: No

Technologies: See below.

Résumé/CV: https://architectfwd.com/about

Email: hackernews at architectfwd dot com

Need a consultant, strategic thinking, architecture or tech advice, coaching/ mentoring or documentation written up?

A hour, a couple of hours or something more regular but flexible?

This would be a side thing but could look to see how much time ongoing would best serve the request. I am looking for part hours, or retainers, or work toward fully moving into a consulting / advisory capacity.
—
I have 20+ years solving business problems and maximising opportunities through technology in a variety of industries internationally. My core skills are in strategy, enterprise architecture, technology architecture, consulting and advice, agile, team leadership, coaching and mentoring. Can do some operating model work as well.
I am currently a Principal Architect. I operate at both the enterprise strategy and solutions level with many years in architecture and technology in the private and public sector. I know how to use enterprise architecture frameworks, practices and principles from concept stage to delivery in order to execute on strategy and how to work with product and development teams to set direction and manage product evolution.
TOGAF 9 Certified Enterprise Architect, certified AWS Certified Solutions Architect Associate, Scaled Agile SAFe certified architect, and Scrum Master (PSM1) certified. | I am ex-dev. Long list of tech. I don’t write code much anymore but this is changing as I look to build a SaaS. I have honed my architecture skills from designing and building scalable resilient solutions across private sector (process and plant automation, presell, corporate and companies law related, limited banking) and loads in public sector (government, large and complex).
the paper is at: https://www.nature.com/articles/s41598-024-63816-z

Pretty amazing if it pans out.
Play Evazor (Retro Gaming)
Very interesting. I'm glad I'm not the only one who thinks that measures like "return to work" and things like that are basically methods of "soft layoffs" where they basically put up a giant filter that they know will ensure a certain percentage of people will have to quit, or will quit for some convenience reason.
uhmmm ok....
I'm glad they didn't comply. I don't want social media platforms banning people just because some national government told them to.
>Twitter is not a fundamental right, as access to users isn't a right to a company.

What about the rights of people who want to use twitter? Would you use the same characterization for Chinese censorship (ie. "The New York Times is not an fundamental right, as access to users isn't a right to [The New York Times Company]")?
The large space savings IMHO come from getting rid of the point to point connections via these massive 2000+ wire cables and their corresponding patch panels and routing infrastructure. With GPON you only need a single SFP module and passive optical splitters in the underground buried junctions, no need for any roadside equipment.

(Worked as a trench digger / roadside equipment box installer once in younger times)
SEEKING FREELANCER | SF Bay Area | Remote OK

I'm seeking freelancers to help with two projects.

One is a website that implements my 'programming language of poetry' for creating fractal verse.

On the back-end, functional programming experience is required, preferably Haskell. I'd like help implementing and open-sourcing the 'programming language of poetry' interpreter and allowing for advanced revision control and keystroke tracking.

Experience with implementing programming languages and/or Operational Transforms or Conflict-free Replicated Data Types a plus.

On the front-end I need help integrating with spotify and soundcloud, storage and smooth playback of every keystroke (along with the exact moment in musical time in which songs/sets each keystroke occurred), wrapping the vue project in capacitor or a similar framework to allow it to be published to the ios and android app stores, and adding syntax highlighting to the Quill editor (specifically coloring matching parentheses/brackets and highlighting those unmatched).

The other is a word-game -- I specifically need someone who is able to create slick, attractive text animations that 'morph' between two words, but am also open to more general UX, game design, and back-end engineering help as well.

Reach out to ask if either project sounds interesting with a resume or LinkedIn to dev@thekeyunlocks.us and we'll schedule an interview and demonstration. You can also check out https://www.x.com/the_key_unlocks for demonstrations of the fractal poetry site that implements my programming language of poetry.
Cool, interesting! Though I wouldn’t be surprised if there are such links, even if this one is not supported by further research. We know that gingivitis can lead to heart disease, so I wouldn’t be surprised to find that gut microbial imbalance could have other implications.
OTOH it's sad that a Nobel-winning macroeconomist has to write a blog article about fixing Anaconda's hostile takeover of student machines and setting up a basic Python environment.
Just played Awakened Deeply - really enjoyed it. Reminded me a little of Planetfall. Needed a proofread but nice to see things like this are still being made.
If you want another screen in a portable setting, there are tons of portable monitors out there, many powered and driven entirely over USB-C. I found a 2k option on Amazon for ~$100, it's about as thin and even lighter than the macbook air I use it with. Works great.

This seems unwieldy and pricey for a gimmick that may not be easily serviceable.
It's not what you're aiming for with this comment, but I bet git would actually make a pretty good storage tool/format for archival of mostly static sites.

horrible simple hack: use `wget` with `--mirror` option, and commit the result to a git repository. Repeat with a `cron` job to keep an archive with change history.
Bitcoin ATM scams are soaring – and older adults are increasingly the victims
And it's probably going to get much worse unless Apple radically change their pricing behavior. It has become very hard for most enthusiasts to justify the price of an high-end Mac...
Location: Prague, CZ, Europe (flexible optionally, looking to be in US timezones near future)

Remote: Yes

Willing to relocate: Potentially

Technologies: NodeJS, TypeScript, PHP, Python, Next/React, UI/UX design, Figma, Adobe Suite, Product, Copywriting

Résumé/CV: https://jdckl.dev/documents/CV.pdf

Email: hello@jdckl.dev

I have a BA in design, and backgrounds in both webdev and design. I'm a different type of problem solver usually, looking at more of the product/visual side, but I've been architecting pure dev solutions too. Some of the coolest clients I've worked for in the recent past - FactSet (fintech), Tatum (blockchain), Lumos (access management). I'm currently not available to start immediately, looking around, I can clear my schedule for full-time work with circa 2months in advance - I can do part time first - soonest I could start full-time from now is November.
You're assuming that you can't standardize expectations and comp for creative roles. I'm not sure if that's true or not, just pointing out that it's an assumption.

I do know from experience that the existing system where roles are fuzzy and people get promoted based on gut is not fair or effective.
Did I read "Applied Category Theory"? Niiice
You're making a "no true Scotsman" argument. This is, in fact, how capitalism works whenever you fail to regulate it. Rent-seeking and regulatory capture is a feature, not a bug.
So they replaced an entire language with a linter?
Why not just be glad they're taking a stand now? I'm so confused.

Edit: also looking at the history here... They fought those bans too. I'm guessing, due to Indias importance to the IT industry, twitter was unable to pull out entirely, leaving their employees vulnerable if they didn't comply.

Not sure about turkey, but it looks like in this case, they are able to avoid censorship by pulling out entirely. Brazil is an inconsequential country.
OfferFit | https://offerfit.ai | Director of Software Engineering (Web) | Remote (all remote) | Full-time

Join OfferFit (Series B, ~80 folks, about 10M ARR) as a Director of Software Engineering and lead the charge in revolutionizing marketing technology with cutting-edge reinforcement learning! This is your chance to architect and scale a highly innovative SaaS platform, working closely with me (CTO) and a dynamic team of engineers. We're working on a hard problem: making setting up complex RL-powered personalization for large B2C enterprises a fully self-serve experience. You will lead and scale a team of frontend and full stack engineers in building a data-intensive application that our users (enterprise marketers and data analysts) love. Proven track record of shipping user facing applications and growing engineering teams a must.

Apply here: https://boards.greenhouse.io/offerfit/jobs/4454196005

Also, looking for Applied Scientists (https://boards.greenhouse.io/offerfit/jobs/4460865005) -- research experience in RL/contextual bandits required, experience implementing in industry a strong plus.
Why people stay after local economies collapse
First hit on google for me: https://www.maclease.de/apple-macbook-air-m2-leasen-20211164...

It's a 5 year contract, but the now 4 year old M1 16gb ram is still perfectly capable of running regular containerized web dev workloads (e.g. running supabase + 4 node applications)
Note that Elon Musk's definition of free speech includes anything that is not outright illegal, including fake news, see links below. I find it disturbing. The world will be better off without X.

https://www.nytimes.com/2024/07/27/us/politics/elon-musk-kam...

https://www.businessinsider.com/elon-musk-grok-ai-fake-elect...
And indeed there is historical precedent for A (e.g. enigma). Is there any precedent for choosing C?
Well I can't speak for anyone else, but I come from the US and have a view of free speech that is decidedly in conflict with how America handles speech today.

I disagree with the bans we already have on the books and find the phrase "free speech absolutism" to be ridiculous. Speech is either free or it isn't. There's nothing wrong with being concerned enough with certain types of speech that the society collectively agrees to ban it, but they no longer have free speech.
I kinda doubt they're supposed to advertise support for macOS on there, even in VMWare.