skysight-inc/HackerNews huggingface dataset:
Language REACTOR

Me and Ognjen are based in BULGARIA / Serbia. Most of the time REMOTE, but, generally we like to meet up 2-3 times a year for a few weeks in a nice location.

We make software for learning languages. The focus is on making tools, rather than content. It's a competitive field. That means understanding learners' needs, and relentlessly applying ingenuity and resourcefulness to make something of value. We manage well though, and the financial side is solid.

We run bare metal servers at Hetzner, and a number of big GPU machines in Bulgaria.

Salaries are ~Western European. Additionally, special effort will not be unrewarded. I can help arrange an EU Blue Card / VISA if needed. Bulgaria is Schengen now, taxes among the lowest in the EU, lots of mountains and pine trees, cost of living still relatively low. No hard rules around work hours or vacation. If you are reliably helping the project progress, and are available during critical weeks, I don't mind what time you drink your coffee or what timezone you are in.

As a minimum:

-- Thoroughly comfortable writing Typescript (or experience with similar language)

-- Familiarity with HTML/CSS

-- ..and linux terminal.

There's a substantial amount of mostly decent code, some even pretty good. It will take some time to become familiar. Noone will be standing over your shoulder, you need to be able to make yourself useful. You will be creating new features. Somewhat open-ended, rather than just taking bug tickets. Things need to be polished and hardened before launch, and some older code needs rewriting from time to time.

Other skills that would be highly useful:

-- Backend skills (linux admin, ZFS backups, postgres tuning etc.)

-- Knowledge around ML/DL, Python, NLP, fine-tuning LLMs, ASR and TTS.

-- Strong React and CSS skills (we use MUI for our website, and have an unfinished RN Tamagui prototype).

-- Doing some server hardware maintenance or upgrades (server hardware is mostly like PC hardware with some extra bits).

-- Not adverse to occasional travel to meet a potential collaborator, or some occasional non-code work.

-- Experience or connections in highschool/university language education.

-- Knowledge of languages, particularly East Asian.

-- Electronics design and manufacture (yes).

I'm not adverse to teaching what I know, but then it's probably going to need to be more in-person then.

I'll be honest here: this could be a dream job for some, and rather demanding for others.

dioco@dioco.io
It's pretty fascinating stuff, and totally doable. I stand corrected on the "any athletic event"- what I said doesn't apply to ultra long duration lower intensity events. Endurance will be higher but peak power outputs lower. For endurance focused events like the ones you described, I could see it being an advantage- everyone will run out of glycogen, but those already keto-adapted won't need to suddenly start trying to adapt during the event.
Nothing honestly, the same way nothing stops AWS/Google from implementing the whole Supabase platform themselves or Planetscale themselves. The thing is as a more focused startup, we are able to move faster and hopefully better than some of the bigger giants that have hundreds of different verticals to focus on. D1 is a great start and we love it, we just way to take it all the way!
It's sort of in between. I wrote a browser extension (in Arc btw!) that has Emacs-style keyboard shortcuts that let me do things quickly. I look via HN search for related past submissions, open the relevant threads en masse in browser tabs, and build a list of IDs of the ones that are interesting. Then the browser extension sends the list of IDs to the server and gets back formatted text like you see in those lists ("title - link - mm yyyy (n comments)).

(This comes up a lot! https://news.ycombinator.com/item?id=35668525)
An interesting thing about photons (which may not be true, I just enjoy this stuff amateurishly, that is, without the effort or rigor to actually understand it.) is that they might not exist. the em field is not quantized, or at least is not quantized at the level of photons. A "photon" only exists where the em field interacts with matter, where the electrons that create the disturbance can only pulse in discrete levels.

https://www.youtube.com/watch?v=ExhSqq1jysg

Not that this changes anything, we can only detect or create light with matter. but it does make me curious about single photon experiments and what they are actually measuring.
Nasty Linux Bug, CVE-2024-1086, is on the loose
Location: EU, Slovakia

Remote: Preferably, willing to compromise for some offers

Willing to relocate: For some offers

Technologies: Python, LLMs, HuggingFace, PyTorch, typical ML stack (numpy, etc), Docker

Résumé/CV: I have a PhD and 9 years of experience (both academic and industry) in deep NLP (including LLMs). In recent years mostly interested in NLP safety and trustworthiness. I am looking for a research-flavored position (applied scientist, researcher, etc).

Email: matus.pikuliak@gmail.com
OK maybe garbage is a bit strong. It was lower tier, often surplus or closeout consumer-grade gear. DAK liked to use words like "audiophile" in their copy and nothing they sold was close to that. It was OK stuff, probably fine for most people, on par with what you might buy at a place like Radio Shack.
A great way to extend battery life is lie about the capacity in the UI and only charge to 80%.
I think SSH tunnels are exactly the type of thing that should be handled by a different tool. It's a lot of complexity to add to the app, when the app (and any DB client) inherently already supports connecting via an externally managed tunnel. An established tunnel managing program, or just your terminal, would be better at managing tunnels than a tunnel tool tacked onto this app, and the interoperability is already free.

Tunnels have so many configuration options that you'd either have to support raw configuration in the app (at that point just DIY a tunnel in the terminal), implement something incomplete, or build a full featured SSH tunnel manager into the app.

SSH tunnels can be totally transparent to DB clients. Unlike DB application-layer stuff like credentials, where the DB client needs knowledge of them, I don't see the cost/benefit of integrating SSH tunnels into the app itself.
> One of the most significant economic revolutions in all human history happened over the last few decades, under a socialist market economy rather than a capitalist market economy

Where? China is a capitalist market economy, with a bit more state regulations than we have in the west, but they still have investors, billionaires, profits, buyouts, mergers, wage slaves etc. Before their economy went capitalist they remained one of the poorest countries on earth, then when they adopted capitalism that revolution happened.

State regulations are necessary for capitalism to get good results, but its still capitalism.
Intel and Qualcomm (seriously? one and then the other, while taking potshots at Apple silicon?) working with Justin Long suggests that they believe he was the active ingredient of the old Mac ads. That he was some major reason why they worked.

John Hodgman's the only essential part of that ad campaign.

Long's only role was to look a little more put together, and to be good-spirited. Now he's neither.
We had macOS trigger a update without prompting on some build machines.

Fun times when xcode of course fucking breaks. Apple recently removed "m4" from the cli tools and its only part of the GUI xcode that requires the store sign-in.
So this is a fairly recent development: an effective cartel when all the players use the same software that spits out the same numbers. The defense is that they're acting independently and some can choose to use the software or not but that doesn't stand up to reality

Unfettered markets create monopoloies and oligopolies.

Housing isn't like other goods. If you don't want to buy an air fryer or can't because of price or supply, that's OK. You won't starve. But people need housing and we've built our economy entirely on ever-increasing housing prices.

This is a Ponzi scheme. The next generation has to work 3 times as hard or long to pay for your house to get that pricing increase. It's quite literally just theft from the next generation. Except it's worse than that because that threat is backed by state violence: evictions and homelessness.

We are quite literally choosing to kill people by witholding a basic human need: shelter.
Location: London, UK

Remote: Yes

Willing to relocate: Yes

Technologies: TypeScript, React, Next.js, React Native, Node.js

Résumé/CV: https://www.linkedin.com/in/dan-gill-530437172/
Email: danpgill[at]gmail.com

Hello, I'm Dan, a full stack engineer with a lot of experience with TypeScript React and React Native.

Here's an open source UI contribution I made recently: https://llm-ui.com/chat
Butts, breasts, and genitals now explicitly allowed on Elon Musk's X
Higharc | Senior Frontend Engineer, Senior SDET | Full-time | Durham, NC, San Francisco, CA, remote | higharc.com

Higharc has built a cloud platform for homebuilders (build >80% of homes built in the US every year) that massively reduces the burden of producing construction documents, material counts, and sales tools. At the center of the platform is an in-browser CAD system that allows builders to model homes with the information needed to support the complexity of their business. We raised a $53 million series B in 2023.

Technologies: Next.js, TypeScript, React

More details and application here: https://www.higharc.com/company/careers
"""
Well, there’s a civil antitrust action in Tennessee that’s been going on since 2023, where the argument is that RealPage has been working with at least 21 large landlords and institutional investors, encompassing 70% of multi-family apartment buildings and 16 million units nationwide, to systematically push up rents. And RealPage isn’t just some software company distorting rental markets, it’s also owned by Thoma Bravo, one of the biggest private equity firms in the U.S.
"""
Symbolica.ai | London, Australia | REMOTE, INTERNS, VISA

We're trying to apply the insights of category theory, dependent type theory, and functional programming to deep learning. How do we best equip neural nets with strong inductive biases from these fields to help them reason in a structured way? Our upcoming ICML paper gives some flavor https://arxiv.org/abs/2402.15332 ; you can also watch https://www.youtube.com/watch?v=rie-9AEhYdY&t=387s ; but there is a lot more to say.

If you are fluent in 2 or more of { category theory, Haskell (/Idris/Agda/...), deep learning }, you'll probably have a lot of fun with us!

Check out our open positions at https://jobs.gusto.com/boards/symbolica-ai-67195a74-31b4-405...
Shoot, and here I am with my immediate reaction to "What is the meaning of life?" as "To do right by my fellow man".

I guess I'll never be one of the cool kids who can honestly answer this question with a deafening silence. Oh, well. I'd rather be happy doing right by my fellow man because that's the point of it all than sitting in a corner ruminating on whether my intuition is misguided.
Once you realize this, you are actually invincible as a SWE.
The problem with leap seconds is that any conversion between TAI and UTC for a time stamp more than 6 months in the future is undefined.

If we did the same thing with time zones or leap days, that some committee would only announce changes a few months in advance then people would get very upset.
the whole real page situation irks me to no end. As if being a landlord wasn’t easy enough just milking people they needed even more money by colluding? It’s just obnoxious and I hope it gets the book thrown at it (and its corporate officers, but that might be too much to ask)
You gotta give us more details than that! Sounds like fun!
Lead/Senior level C#/Unity game and tools developer. ~10 years of Unity experience with experience building gameplay logic, AI, custom tools, UI, etc. I've also built a 2D game engine and a standalone game data editor. Love creator tools and UGC. Also interested in GenAI + Gamedev.

Location: NYC

Remote: Yes

Willing to relocate: Maybe!

Technologies: C#, Unity, .NET, Typescript, Javascript, C

Résumé/CV: https://kk-public-hosting.s3.us-east-2.amazonaws.com/kyle_ku...

Email: kyle.kukshtel@gmail.com

Portfolio: https://kylekukshtel.com/projects
I'm Lénárd, a senior C++ developer with a robust background in modern C++ development, active participation in C++ standardization, and a meticulous approach to API design and correctness.

Location: Cambridge, UK
Remote: yes
Willing to relocate: no
Technologies: C++, Python, Linux, Docker
Résumé/CV: https://www.linkedin.com/in/lenard-szolnoki/
Email: hn@lenardszolnoki.com
Posthog has been a fantastically useful tool to understand how our product is being used! Don't get some of the hate - any OSS company will probably embed some telemetry occassionally.
Ask HN: Service that provides updates about subjects of interest
I had a situation recently that a business partner I was interacting with on several projects ended up indicted (nothing related to our projects, some other shady stuff that he was doing). I found out about that accidentally, but then searching the Internet a bit, I easily found that I could know that something is happening months or even years ago.

This event made me wonder if there is a service where I can put in a few company names, or personal names (business leaders), and get updated if something new pops up in news. Similarly to how news aggregators work: "I'm interested in pop culture", but way more granular, for example: "I'm interested in a band Superorganism".

Anyone know some service that solves this problem?
Location: FL, USA
Remote: Preferred
Willing to relocate: Not immediately, but yes.
Technologies: JavaScript & Friends (Node, React, Vue), HTML, CSS, MongoDB, TSQL, C#
Email: matt (at) javascripttoday.com

Hello. I'm Matt. waves.

I've been programming since ~2012, and have worked with various technologies (I didn't list everything above, as I'm not completely strong with everything). I'm currently employed full-time as primarily a front-end developer (but work with the entire stack) at a marketing company, and also run the JavaScript Today websites. I'd love to see what's out there. Also open to writing - technical articles, documentation, etc.

P.S. Will send resume if anyone reaches out, also my C# expertise is NOT that strong, but I'm familiar with it.
Good point! I'll revise.
Location: Midway City, CA, USA
Remote: Yes.

Willing to relocate: Yes.

Technologies: JavaScript, HTML5, PHP, Hacklang, TypeScript, Python, SQL, React.js, Redux, Next.js, TailwindCSS, Node.js, jQuery, CSS3, GraphQL, Serverless, AWS, Shopify, Liquid, Git, Jest, Flow, Mocha, MongoDB, MySQL

Résumé/CV:

https://docs.google.com/document/d/1Uopx9nyOy3lhPGrdvDlVqQld...

Email: emmanuelvo777 [at] gmail [dot] com

LinkedIn: https://www.linkedin.com/in/emmanuelvo/

GitHub: https://github.com/evo777

I have 6 years of software engineer experience.

I have worked at Meta, PayPal, and startup companies.
Sounds like polling. On an inactive connection, whatever it is, you have to always be polling to see if the connection is still alive.
I’ll bite: can anyone please eli5 to the non PhDs among us?
Well it's nice easy money for him all i can say
Year 1 - Getting the first version out that worked for me and my colleagues.
Year 2 - Cleaning it up enough to promote wider use. Documentation.
Years 3-5 - Minor bug fixes only as I thought qStudio solved the problem.
Years 6 - I realised restricting qStudio to only 1-2 database technologies was foolish. Major change to support many more databases. Improved generic SQL highlighting. Added a partial dark mode.
Years 7-8 - Minor bug fixes.
Year 9 - Added a proper Dark Mode and support for many themes by using FlatLaf. Now looking properly modern.
Year 10 - Realise that I'm not fully solving the problem. That actually for most data analysts I should support creating the analysis (pivot table) and improve exporting (real excel export, not just nicely escaped CSV).

There were more learnings, like I should definitely have went fully open source at the start. It's harder to do later.
What about CockroachDB? There are real-world, large-scale deployments of it (e.g Netflix) going back more than 5 years easy.
Location: United States
Remote: Yes
Willing to relocate: No
Technologies: Node.js, TypeScript, AWS, Linux, and many more
Résumé/CV: https://kun.io/wprl-resume.pdf
Email: guider.clam-0s@icloud.com

I am an experienced backend engineer with expertise in internal tooling and CI/CD. Preference for open source or nonprofits. Willing to travel but not to relocate.
SEEKING WORK

Uk based and available remotely. Fractional Django Consultant/Freelancer available on a part-time basis.

I offer a range of services in the hashtag#Django ecosystem, all of them on a hashtag#fractional basis and for a fixed price, no estimates to be seen here.

Do any of these problems sound familiar?

Need some help mentoring juniors or doing code review?
Need some extra senior engineering time, but don't have the capacity?
Need an old Django site updating?
Have a Django site that needs some TLC to keep it running?
Need some help with architecture and spaghetti code?

Let's have a chat, https://savvycal.com/softwarecrafts
>Unfettered markets create monopoloies and oligopolies.

Rental markets aren't "monopoloies" or "oligopolies" by any stretch of the imagination.
We've all known this for decades. Job postings are largely pro forma, performative theatre to comply with the letter of EEOC and DoL regs and associated statutes.
It's the vandalism that makes them stand out like juvenile delinquents.

Maybe they shoud be subject to a curfew :)
I agree. The whole point of these index funds are to be insulated from one company going under.
Telling average users that aren’t HN readers, or particularly comp savvy for other reasons, that they now need to work out whether they want M chips, intel chips or arm chips is just going to confuse them.

I’m pretty sure most consumers will just be confused by arm windows vs intel windows.
The Dirichlet Function
It could be a dream for them, but I think it would be an exception.

Anatomy… I don’t know if you can properly learn anatomy online. Med schools have anatomy institutes with prosecutoriums ran by specialized faculty. Students learn with real cadavers. Then they learn pathological anatomy with real patients. You also learn a lot in a tactile way, for example, how big the organs are exactly and in what shape. It’s very difficult to learn anatomy to a functional degree with just slides.

I think a curious kid would pick up something from an online tutorial, but they would also pick up some misconceptions. And they’d lose out on the anatomy models and practical kits schools have. I would still see YouTube learning for this kind of discipline as a serious disadvantage.

For example, I could not find one lecture (in about 10 I saw just now searching for “anatomy lecture 1”) that recommends Gray’s Anatomy or similar anatomical atlas books. But they are absolutely foundational, it is the bread and butter of anatomy.

1 hour with a lecturer that would show you around such books and give a 45 minute tactile tour of a model of the human body may do much more than 100 hours of YouTube tutorials. The efficiency of learning just does not compare.
The classic reference here is “I want off Mr. Golang’s Wild Ride”:

https://fasterthanli.me/articles/i-want-off-mr-golangs-wild-...
It's aimed as an SQL tool for Data Analysts not DBAs.
e.g. It has 10+ charts builtin that can be generated directly from queries. It allows creating pivots using a UI. It does not allow DBA tasks like altering columns. It features a unique integration with DuckDB that let's you save any result from any database to a local duckdb instance.
Dao and Gu show that if you simplify Mamba so its state-space layer uses a diagonal matrix A_t that is a scalar times the identity matrix, i.e., A_t = a_t I, the state-space transformation can be expressed as a form of causal linear attention[a] by compounding coefficients a_1 ... a_t at each time step t. The equivalence of the simplified state-space layer and causal linear attention constitute the duality the authors refer to in the title. By taking advantage of this duality, Mamba-2 can be trained more efficiently, i.e., faster than original Mamba on GPUs.

Theoretical stuff aside, Mamba-2's performance seems to scale slightly better than original Mamba: https://tridao.me/assets/img/2024-05-31-mamba-2/pile_8k_mamb...

Here's the code implementing Mamba-2: https://github.com/state-spaces/mamba/blob/main/mamba_ssm/mo...

Great work by Tri Dao (of FlashAttention fame) and Albert Gu, as usual.

The key question, for me and many others, is whether Mamba, Mamba-2, RWKV, and other linear RNN / linear attention models will ever match the performance of standard Softmax attention. My understanding and experience is that all the linear attention models out there [b] still underperform Softmax attention on things like recall tasks.[c]

---

[a] https://arxiv.org/abs/2006.16236

[b] https://github.com/topics/linear-attention / https://github.com/topics/linear-attention-model -- this list is by no means complete!

[c] https://arxiv.org/abs/2402.01032
I appreciate that this investigation/raid is being conducted without becoming a major political talking point. Refreshing to see the government simply doing its job.
A lot of the money will go to women who would have had children anyway.
It's enshittification. Rent-seeking capitalism has become the norm.
While I agree in the aggregate, I do want to mention that Haskell code written by novices is absolutely not correct in the face of asynchronous exceptions. Novice people write `hGetContents h <* hClose h` which obviously leaks file descriptors in the face of both synchronous and asynchronous exceptions.

There are also plenty of footguns when you attempt to catch exceptions. A piece of code might intend to catch all synchronous exceptions (raised in the current thread) but accidentally catches asynchronous exceptions. Again this is a novice issue. When that happens, cancelling a thread doesn't work because thread cancellation is implemented with async exceptions.

What makes things good is that firstly pure code can only raise exceptions but not catch them. (If you need error handling in pure code, you use the Either monad not exceptions.) This dramatically reduces chances of coding mistakes because exceptions aren't as overused as some other languages. Secondly the Haskell community more or less shuns on direct use of these low-level exception handling APIs and everyone uses the async library https://hackage.haskell.org/package/async-2.2.5/docs/Control... which solves not only this problem but also provides nice abstractions to build concurrent computations. Check out its Concurrently type: you now have an Applicative that represents concurrent computations which reuse all your intuition from all Applicative instances. You don't even need to manually create threads or kill threads. Overall insofar as Haskell being the only language where throwing exceptions at another thread isn't a box of footguns, it's only because the language allows a sufficient amount of abstraction power that frees the programmer from using the error-prone low-level APIs. The actual low-level APIs are still full of footguns.
The magical thinking in this thread is breathtaking to behold.