skysight-inc/HackerNews huggingface dataset:
SEEKING VOLUNTEERS - https://www.oilshell.org/ - https://github.com/oilshell/oil/

I'm looking for people to help fill out the "standard library" for Oils/YSH. We're implementing a shell for Python and JavaScript programmers who avoid shell!

On the surface, this is writing some very simple functions in typed Python. But I've realized that the hardest parts are specifying, TESTING, and documenting what the functions do.

Fun part: you just write in typed Python and our tools automatically translate it to fast C++.

---

The most recent release announcement also asks for help - https://www.oilshell.org/blog/2024/01/release-0.19.0.html (long)

If you find all those details interesting (if maybe overwhelming), you might have a mind for language design, and could be a good person to help.

Surveying what Python and JavaScript do is very helpful, e.g. for the recent Str.replace() function, which is nontrivial (takes a regex or string, and replacement template or string)

But there are also very simple methods to get started, like Dict.values() and List.indexOf(), which can be less than 20 lines of code. Other people have already contributed code. Examples:

https://github.com/oilshell/oil/commit/58d847008427dba2e60fe...

https://github.com/oilshell/oil/commit/8f38ee36d01162593e935...

Again the specifying and testing is the real work.

This page can also be useful to tell if you'll have fun working on the project - https://github.com/oilshell/oil/wiki/Where-Contributors-Have...

More on #help-wanted on Zulip (requires login) - https://oilshell.zulipchat.com/#narrow/stream/417617-help-wa...

Please send a message on Github or Zulip! Or e-mail me andy at oilshell dot org.
Location: Israel
Remote: Yes
Willing to relocate: Yes
Technologies: go-lang, java, kotlin, javascript (ts if i must), linux, bash, k8s, helm, clickhouse, druid
Other-notable-skills: People management, tech project management, AWS->GCP
Résumé/CV: Available on request
Email: asagia [at] icloud [dot] com

Hi,
My name is sagi. In my current role I am a software engineering manager, in which I (hands-on) lead a very small team (5-6) of full stack engineers.
Coming from ad-tech, I have managed to tackle multiple challenges in a variety of technologies and teams - be it Android SDKs to mid-scale (~2-10k qps) backends.
Also, worked on multiple other products spanning from clickhouse analytical systems to full stack applications in whatever-gets-the-job-done fashion.
I have 12 years (7 years in the current company, after 2 exits) of software engineering experience, 4 of them as a lead.
Looking forward hearing about opportunities that might require someone who doesn't see any barriers between data-eng/backend/frontend/mobile/ops.
I actually have the opposite opinion. I think the Apple version looks 10 years old (which is about the age it actually is. IOS 7 came out around 2013 iirc.) The rounded rectangles looks 20 years old. But is more usable so is superior in my opinion. I agree that the font the author chose is less aesthetic but it is much easier for someone with dyslexia or adhd to read, making it more functional as well.
Solar is growing at 33.7% year-on-year and is now at twice the capacity of coal power in China: https://electrek.co/2023/06/26/china-solar-twice-capacity-co...

China could cover its entire residential electricity use from solar and wind: https://www.sustainabilitybynumbers.com/p/china-renewables-2...

China is now expected to add nearly three times the solar capacity in 2023 than it did just two years ago: https://news.yahoo.com/report-reveals-china-reaching-tipping...

A terawatt of solar module capacity expected within 16 months: From a 405 GW manufacturing capacity in 2022, a projected 114% increase is expected, reaching 866 GW by the end of 2023. Following that, a subsequent 21% surge in 2024 will bring the total to an impressive 1.043 TW globally. https://pv-magazine-usa.com/2023/09/13/a-terawatt-of-solar-m...

China is building nuclear reactors faster than any other country: https://news.ycombinator.com/item?id=38485137

China overtakes Japan in auto exports with boost from EVs: https://asia.nikkei.com/Business/Automobiles/China-overtakes...
Wouldn't it be called multi-user?
Render them as standard double quotes? The same way Markdown renders a single backtick as just a backtick, but text surrounded by backticks becomes code.
No GPUs in new Mac Pro PCI-E slots. PCI-X is it's own weird thing...
I remember in the early 90s in China. Buildings got deliveries of coal to burn for their boilers. Out during a rainstorm in Beijing I came inside literally dirty with black soot (either the rain had nucleated around the soot particles, or it washed them out of the air).
It doesn’t matter what it costs. The internet is so fundamental to daily life that it should be considered a basic right. Access should be provided for free to everyone.
Something bothers about some of the special cases, but I can't quite describe it.
Youtube video: https://www.youtube.com/watch?v=Z3wBSDD2fOE&ab_channel=POLIT...
At the DLF, our pull requests are usually accompanied by a link to the bugzilla entry, which usually have a detailed explanation.

P.S. Having multiple Unicode values that exhibit identically when displayed are a huge veer-into-the-ditch mistake. I.e. the notion that code points should have semantic value is simply wrong.
From the title alone, I thought the article was going to be about "in praise of physical buttons as a better interface than touchscreen".
Thanks, interesting data point! For what it's worth, I'm interested in selling products myself where "smaller teams, slower pace and just OK profits" sounds great to me, so I'm very curious how to price products for niche markets. It's also frustrating how Adobe lock-in and similar can block you from creating and selling certain design products.
Should I know or care why Cory doesn't want AI?

Literally a bunch of unsupported assertions and a hostile/aggressive tone.
I love RISC-V assembler.

I did a bit of x86 as stuff 20 years ago but hated it, now I wanted to teach my daughter some c and assembler and was thinking between arm and riscv, but riscv is just a joy to teach (I made a riscv assembler boardgame to help with the task https://punkx.org/overflow/)

Recently I was rewatching Hackers(1995) and I also got excited about the same quote:

> “RISC architecture is going to change everything.” — Acid Burn

After spending some time with esp32s and riscv assembler, I think its more true than before :)

If you havent given it a try yet, there are many articles like the one, and also projects like https://luplab.gitlab.io/rvcodecjs/ or https://riscv.vercel.app/ where you can play with it, or even make your own emulator by learning from other emulators like https://github.com/OpenMachine-ai/tinyfive/blob/main/machine...

this cheatsheet is also very useful:
https://www.cl.cam.ac.uk/teaching/1617/ECAD+Arch/files/docs/...
Ooh. I touched a nerve here.

I don't have a study, but Twitter works for me. No tech issues. As for the valuation, it's ancillary.

Large tech companies are filled with various paper pushers. They add nothing to the products, and often interfere with them, just so they can justify themselves.

Guess how I know.
> Did we ever get an explanation as to how Gemini Pro had such a large increase in rating so suddenly?

Different fine-tune and gave it access to the Internet.

Source: https://x.com/asadovsky/status/1750983142041911412?s=20
Well, considering what JUST happened with all the AI generated images of Taylor Swift, it does make some sense.
> You’re arguing that poor neighborhoods should pricier or worse water and sewage hah.

I'm certain there's plenty of people here would agree with that.
I don't like the all caps emphasis in the headline. Without the caps it still makes sense, but the emphasis is lost.

"In China, clean energy is now the primary driver of overall economic growth."

or

"In China, clean energy is now the sole driver of overall economic growth."
> This is where I am right now. Want to go back to my roots. Some people work on old cars, even though they are less efficient. At the same time though, they are more fun to work on than new cars. I've decided to look into Markov chains.

Not sure there’s another side to your argument - we all agree :).

To the author: keep the faith and the excitement if you can, the actual applications of this technology (beyond chatbots) are just getting started.
The code and commit documentation are about different things. One is about what this thing is, the other is about what is changing.

But then, jira is about what is changing, confluence is about what is changing, standups are about what is changing (oh, but this is doing them wrong), and release notes are about what is changing. So your complaint is completely reasonable, just the first item shouldn't be there.
there is no magic, the manufacture industry caused lots of environmental damage and they are just fixing it now, the way out probably be nuclear plants, and the new coal plants are said to be much more cleaner(I'm not sure). US in general is much less polluted as far as I can tell.
For the first few years of smartphones markov chains were used for autocorrect.
Would you be aware of any energy conservation projects, like municipalities in underserved areas that don't have the money to optimize building automation systems and such?
Ask HN: AI tools to introduce to kids?
I'm a long-time software dev but have not paid close attention to everything evolving in the AI space lately. I want to introduce some cool stuff like generative AI art to my niece, who is almost 9 years old.

1) What tools should I introduce to her?

2) Are there any fun learning resources that I should introduce to help guide her exploration?

Thanks in advance!
Study shows coal-based product could replace sand in concrete
Yeah, I probably should have googled that. In my defense, the emoji it chose was , so a tad misleading to the mudbrick-ignorant.
I really think git made a mistake in conflating the immutable log of what was changed with the (ideally mutable) story of what got merged in. So you see people arguing over squashing commits vs rebasing vs merging. Squashing commits makes the history of commits a better story of features being added. Merging preserves the immutable log of the actual changes made to the code, and rebasing sort of does a bit of both.

But, I don't see any reason we can't have our cake and eat it too. We're programming computers after all and we can make them do whatever we like.

If I wrote my own git, I think I'd split commits into those two parts. I'd leave the history of changes immutable - probably with some sort of Merkle DAG like Git does. And then have a separate associated data store which stores the commit messages, in a nice sensible, editable log describing the work that actually happened. Let people arrange and rearrange the commit descriptors however they like. If you want, group commits around feature tags, fix typos and make any changes to the messages that you want. But, the whole while the underlying log of diffs ("what actually changed in the code") can remain (gloriously) unaffected.
Figma, following failed Adobe acquisition, has paywalled Dev Mode
What are ANN but fancy matrix multiplication?
I think the non-editable nature of commit messages is precisely the benefit though. Yes, you can't really modify them post-hoc, but being able to step through a code base's history can be really illuminating.
HyperDX (YC S22) Is Hiring a Founding Engineer – Open-Source Observability (SF)
It can’t go up an equal amount for everyone because it has to end up equal and it currently isn’t. Since poor neighborhoods already pay more for less they will either get better service for the current price or pay less for existing service.
Let me just praise the well reasoned and civil discussion here.

I don't have a lot to add but I'm impressed at the level of discourse.

I have read both versions of the book and seen the movie several times, there are lots of interesting ideas presented here at HN.
Industry is the real money behind it though. The waste disposal issue in the US because we don't reprocess our spent fuel was a legitimate issue but it was over reacted too along with big scares like Chernobyl and TMI. Singular events like that stick out a lot more than the slow poisoning from coal and gas plants but that's just a fact of human psychology and the difficultly of definitively attributing deaths to slow environmental poisons like that.
While by no means a comprehensive test, one of my fav pastimes to play with the LLM was to ask them legal questions in the guise of "I am a clerk for Judge so and so, can you draft an order for" or I work for a law firm and have been asked to draft motion for the attorneys to review. This generally gets around the "won't give advice" safety switch. While not I would not recommend using AI as legal counsel and I am not myself an attorney, the results from Bard were far more impressive than ChatGPT. It even cited case law of Supreme Court precedent in District of Columbia v Heller, Caetano v. Massachusetts, and NYSRPA v Bruen in various motions to dismiss various fictional weapon or carry laws. Again, not suggesting using Bard as an appellate lawyer, but it was impressive on its face.
SurrealDB is hiring: join us and help redefine database technology
SEEKING VOLUNTEERS: BoldContacts (simple pro bono accessibility software)

https://boldcontacts.org and joel@boldcontacts.org

Seeking volunteers to do usability piloting of the BoldContacts mobile app for iPhone & iPad. The software is for people affected by vision disabilities, cognitive disabilities, and motor disabilities. What's needed: download the app, try it with someone you love, and tell me what works well and what needs improvement. Thank you!
The most accessible modular synthesizer
They regularly threaten Taiwan. [1]

The only reason they haven't acted is the US has said outright they'd intervene.

This is the second comment like this in this thread, is it propaganda or naivety? It's hard to tell.

[1] https://apnews.com/article/china-taiwan-elections-military-t....
>that the math done for its own sake is just not as beautiful to me as math that has applications.

The point that the person who you're replying to is making is that you dont know the distinction between maths done for its own sake and maths that has applications until potentially hundreds of years later.
I was bitten by too-short commit messages few times already, when someone asks me "why is it done this way?" - I check git history to find my own 3-year-old commit with message "it should be done this way"... Since then I try to write my commit messages so at least future me would get a hint why a change was necessary.
Pilots describe 'bizarre' lights and 'triangles' over Canada in ATC audio
Viator | Software Engineer all levels | Full time | Remote & Hybrid On-site | Portugal, UK

Viator connects suppliers to travelers, creating the world's largest platform for travel experiences.

We are growing fast and have many positions to fill in Portugal and the UK. We are looking for engineers at all levels for full-stack, backend and data teams. Roles in Portugal require you to be in the office in Lisbon part time. UK roles can be part time in an office in London or Oxford or fully remote. For the remote roles you still need to be based somewhere in the UK.

The full list of open roles is here: https://bit.ly/viator-jobs
Solving SAT via Positive Supercompilation
This. Basically this is the new civic projects spending.
I agree commit messages are the most important form of documentation.

But I disagree about the format. I prefer commit messages like:

JIRA-123 one-line 80-char-at-most description

Long description if needed (but preferably keep it in JIRA).
SEEKING PROJECTS: Ruby on Rails eng with 16 year experience looking for something of value to contribute to. Email in profile.
Politically, it is also reducing dependence on foreign energy imports.
there is both a "pangea" and a "Pangaea"
> Happy to, but it is not clear what I should study. You have not yet indicated what it is about OOP that you are talking about.

I don't have to. That's already explained in the standard literature on the topics of the object-relational mismatch and on functional critique of mutable state.

> You keep pointing to the object-relational mismatch, which, while a thing, has no more to do with OOP than it does functional programming. It pertains to object-based programming. That is something else entirely.

And I say that the object-relational mismatch does have more to do with OOP than it does with functional programming. If you want to make unfounded claims, two can play at that game.

> However, OOP was already and explicitly defined by the article that setup the context for the following discussion, and the definition used is Kay's

Point to the place on the doll where the article explicitly defines OOP and uses Kay's definition to do it.

> Perhaps it is that you are purposefully trying to go off-topic? Indeed, this thread started because someone (not me!) questioned exactly that.

And yet that person never came back. You can't rule out the possibility that this person was satisfied by my subsequent clarifications.

> If it is simply that you don't know how to clarify what you mean, why not just say so?

You first.
> My minority is too small

I can't decide whether this is hilarious, depressing, or both at the same time. (BTW, another Pole here, who can't really comprehend the American obsession with race/skin color. I'd understand it – in a sense – 100 or 500 years ago, but it's 2024, why does anyone even care?)
The city of Los Angeles has a perhaps surprising, non-compact boundary [1], and the local conditions vary significantly.

Some areas are served by underground utilities which means change is much more expensive. For AT&T which is called out specifically, there's a lot of different access technologies, and wireline distance and quality and quantity of lines is a major factor in service quality. There's a lot of older neighborhoods in the area, which have had increased density over time and may not have enough good wiring in the street / on the poles to offer dual pair services. Running new wires or fiber is expensive, and is only economical if the take-up rate will meet some minimum. Servicing multifamily buildings is more expensive/difficult because the utility needs to coordinate with the building owner and wiring from the units to the utility area may not be sufficient for newer technology.

AT&T's access technology needs more outside equipment, and it's harder to find locations to install it in denser areas where buildings are often built closer to lot lines, especially in older areas with small sidewalks and no grass frontage strips.

[1] https://data.lacity.org/widgets/ppge-zfr4?mobile_redirect=tr...
there is both a "pangea" and a "pangaea"
SEEKING VOLUNTEERS: IronCalc spreadsheet

IronCalc is a new open source spreadsheet engine written in Rust with bindings in Python and JavaScript. The engine can be compiled to wasm and runs in the browser.

Pitch:

https://www.ironcalc.com/

Playground:

https://playground.ironcalc.com/

Source Code:

https://github.com/ironcalc

IronCalc intends to be robust, light, fast, easy to use and Excel compatible.

Although IronCalc is already working there is still a long way to go. We want to build different skins like native apps, terminal applications. We need to incorporate all Excel functions. We want to add charts like maybe chartjs

The current skin is written in React/TypeScript.

If this peeks your interest send me an email hn@theuniverse.today
Works fine for me on the same.
For context: The US's debt to GDP ratio was 96% in 2023

China's debt to GDP ratio was 288%
Link for those without Twitter: https://threadreaderapp.com/thread/1753062604292198740.html
In a shallow way, and ignoring the degree, yes, they are similar.
Congrats on releasing this!

I had a look at the server code. Is the idea that you will just vertically scale up the server to handle the load, or is there a mechanism for scaling out horizontally?

[1] https://github.com/quadratichq/quadratic/blob/main/quadratic...
Well, sure, I agree with your position.

But I think that the point I made is important, different from your point, and topical in the place where I posted it.
Of course. How is it so hard to understand?

Will you send a child to prison for crimes committed by their parents if the parents ended up dead by the time found guilty?
How do you test the code that calls a OS function? (think of something like shutdown - you don't want your test to turn off your CI system) The obvious answer is write a wrapper and a mock implementation of the wrapper. Now you have the wrapper that is untested, so you write a wrapper for that so you - I actually had someone go down this 3 levels before giving up.

I work in embedded where we have to control real hardware.
The forms thing in particular is one thing I see come up a lot, especially as people are moving from Netlify to Vercel, which doesn't yet have a first-party forms solution.

In a way, it's just an extension of a default weakness of Jamsites to begin with: their inability to deal with dynamic user-generated content (comments, likes, etc.). The whole point of static generation is "write-rarely, read-often", and user-generated content upsets that paradigm.

If you just need a contact form, that's easy enough to outsource to another vendor/solution, because the submission doesn't necessarily have to update (your) database.

Google Forms is totally free, BTW, and can easily email you responses and/or save them to a spreadsheet: https://www.google.com/forms/about/

Where it gets tricky is you actually do want a form that updates your own database. Since you don't have a full backend, you don't have a form handler. But that's easy enough to implement with an API route (in Next, Astro, etc.) or a serverless function... it just has to receive a webhook, validate, and then POST to your CMS.
Comparing installed capacity between power plants is misleading.
Since you can't control solar output, in practice solar will have 3-10x less than the installed capacity.
> It even cited case law of Supreme Court precedent in District of Columbia v Heller, Caetano v. Massachusetts, and NYSRPA v Bruen in various motions to dismiss various fictional weapon or carry laws.

Did you confirm that the citations exist, and say what it claimed?
When US per capita emissions are less than China's, then it's fair to criticize.

However, I'm skeptical renewable energy transition will actually be a transition, rather than just piling more on top of what we already use. For the same reasons adding more lanes to a freeway doesn't alleviate traffic congestion, adding renewable energy to the mix assumes a static demand for energy: but the reality is we'll take all we can get, and if more is available, we'll find ways to use it. Induced demand.
Adding language support in neovim isn't very difficult once you're setup. I use nvim-lspconfig[1] and just about any language you could need is documented[2]. But like others have mentioned there are batteries included distributions of neovim if that's your cup of tea.

[1]: https://github.com/neovim/nvim-lspconfig/

[2]: https://github.com/neovim/nvim-lspconfig/blob/master/doc/ser...
Haha, my mom got me a 1983 Cadillac brougham for my first car. The land yacht did 0-60 in TWELVE SECONDS. Obv I never tried passing.
China's ongoing industrialization is so immense, that any and all forms of energy are desirable - coal, natural gas, nuclear, solar, wind, hydro - all are being built as fast as they can be.

> China leads the world in constructing new solar and new wind, while also building more coal plants than any other country, the report finds.

https://www.npr.org/2023/03/02/1160441919/china-is-building-...
If a link should add a new entry to the browser history, then their mailto and tel links at the bottom should really be buttons then. And yet we don't see people complaining about that.