skysight-inc/HackerNews huggingface dataset:
I went with a mechanic in a chair lift once. He was very nervous, saying he knows the kind of people who maintain these things, and he knows the kinds of things that can go wrong. I feel the same way about automation, whether it be self driving cars or an X-ray machine. I know the kind of people that program them, and the vast number of ways things can go wrong.
But that falls into the same "we'd call a person stupid who did a mild version of that" issue.

A super intelligent AI would understand the goal!
I wouldn't trust those master prompt engineers until they start to release impressive projects. If this technology actually is such a huge productivity boost it shouldn't be too hard, so until that happens I take it as evidence that the productivity boost isn't that extreme.
Basically my question is whether in long run these companies will survive once the cloud start providing similar much cheaper alternatives.
I don't care, but a few decades ago we signed some papers at the EU level that said we should stop doing them in the way we do them. I know it sucks, but the Dutch are fast at pointing out other countries' misbehaviour so it's IMO only fair that we comply with what we said we would do.

Massive simplification, but I don't think it's a completely unfair characterisation.
They are trying this with Clion and the toolchain/target interface that works well now. They hid all the targets and one needs more clicks to chose a new one because it became an MRU list. The splitting of the two was nice, but give me all my targets so I can get my work done. The two dropdowns didn’t hurt though, it was always two clicks, but now you can more easily see what toolchain is in use.
I've fully moved past jetbrains. The program is slower than every other IDE I use. Any time you reboot or change environments there it takes like 3-10 minutes with my tower. I know that seems like a niche reason, but when no other IDE has this issue, and they have similar/better plugins; why bother?

Since the VIM addon of Spyder, I've been hooked. I personally like the data visualizations the best. They are fast and have lots of features. Seems like spyder is underrated in the python world, although VSCode is ofc incredibly dynamic.
AGI and Mental Causation
It's the "sadness of mortal men" as Tolkien put it. So many awesome languages in this world, so little time to learn and use them.
Deploy Your Maps Service with Protomaps and WASM Workers Server
I don't think an elevated salary at a FAANG implies over-qualified, though.

I phone-screened someone from a FAANG, and they knew very little about non-proprietary technologies that we used on a day-to-day. Any of the big-branded commercial apps, they weren't familiar with, and I can hire someone for a lot less with the required working knowledge AND know that they won't be resentful about it.

I think it's going to take a year for some of the young engineers to level-set their careers in some places.

I'm trying to remember how long it took after dot-com bubble busting, and back then I know a lot who went back for their MBAs, Law degrees, etc. during a softening market. And I know personally how long it took for me to recover to the same economic level.

Also, I get emails a few times a week from recruiters saying something like "Ex-Meta Employee/ex-Faang available for employment", leads....
I cant think of a single situation in which I would want take_action() and Take_Action() to do different things inside of a program. What reasonable purpose would naming things that way serve?

I see it as a mandated style checker built into the language.
Because you don't know how to. You don't know how they currently work and the resources to potentially do that are essentially nonexistent compared to the billions being poured into making GPT-n.
A lot of people discover that they can get respect despite being an asshole if they're skilled enough.

You see this pattern of behaviour in all disciplines, but in tech it seems that social skills are less important than elsewhere so those types are attracted to the field, and we've also cultivated a culture that glorifies people who are assholes but are also visionaries - Jobs/Musk/Zuckerberg etc.
Not really what you are asking for, I know, but: run Helix in tmux and leave it running there. Sure, it's not going to survive computer reboots, but your state will survive almost anything else (in particular, closing terminal windows or logging out of a remote server if that's where you are working).
I think they are objecting to the prompts being submitted by the users through the UI for finetuning, not the data used in pretraining.
My question for why Janet was answered:

> My favorite feature of Janet, though, is something that sounds really dumb when I say it out loud: you can actually distribute Janet programs to other people. You can compile Janet programs into statically-linked native binaries and give them to people who have never even heard of Janet before. And they can run them without having to install any gems or set up any virtual environments or download any runtimes or anything else like that.

The space is ripe for a lisp that is easily distributable. Yes, common lisp can be statically compiled, but their binaries (at least with sbcl) can get pretty big [1], even with compression. Making a lisp specifically good at using to make CLI or desktop tools with good c ffi support is compelling.

1: https://blog.djha.skin/blog/50mb-for-hello-world/
GPT doesn't have principles. Full stop.
Simply this is just a matter or expressing the "not knowing enough" in mathematical terms. And literally this is easy, as easy as adding a threshold to the restrict from commenting anything that has vast distance from the current knowledge domain. Just a little thought, as what math professor always written in the math textbook. And I don't see it is constructive to foreverly state the human superiority instead of trying to study or modelize that intellectual ability.
It's a LISP
I don't disagree with your arguments but its hard not to point out the obvious conflict of interest with companies dropping the headphone jack while selling their own wireless headphones as the solution, both to the lack of headphone jack and to the fear of technical issues that BT headphones had at the time. I don't think we can really use the removal as evidence on its own when Apple, Samsung, Google, Xiaomi, Oppo, etc. all got a jump on a multi-billion dollar market because of their position as a device OEM.

The only real exceptions are Asus and Sony who are both targeting niche buyers with most of their phone offerings.
Ad hominims aren't acceptable for public discourse either, bud
I’m quite excited about this!

Janet looks like a nice small, embeddable, fun language with a lively community!

The documentation and site felt like a close-knit community of insiders, which I wanted to become one of them :) hopefully this book shows the path!
>started writing research papers about the safety issues with ChatGPT;

Feels strange that academia would focus so much energy on a product.
It’s worth noting one important caveat: GPT-4 cannot do super complicated coding.

Don’t get me wrong; I use frequently when coding but it can’t handle the complex stuff; it’s insanely good at boilerplate and low-hanging fruit though.
I agree. I guess I should have said "mentality" or "culture". It's deeper than living in "rural areas" indeed.
yeah, Fredrik's papers are great. A lot of the reason Bessels.jl is so good is because ARB makes it easy for us to have test against a known source of truth (which make things like minimax polynomials and picking optimal tradeoffs a ton easier).
> The Jeep Wrangler PHEV gets just 1.5 miles per kWh, compared 3.8 miles per kWh for the Tesla Model Y.

I don't know anything about Jeep, but the e308 is supposed to be at... 5 miles per kWh? If I'm correct at converting from 12.7 kwh/100 km.
Just like ChatGPT right? :)
Strong disagree. Look at the crunchiest of people who are doing very low level work. I wouldn't say they are really making more than anyone else. In a lot of ways they are at a disadvantage because their skills are very niche and very specific. If they find work it can be good. But it can be a frustrating exercise to find that work.

People pay for productivity, making a product of some sort that has value. These AI tools will increase productivity. And they will only get better with time. That translates into the productivity of people who have mastered these tools as more valuable. They just get more done.

Will syntax issues and other problems be an issue with early AI? Sure, but it will get better. The AI will start to catch more issues and move farther up the stack. We still need to know enough to guide it, but the details required will be fewer.
Agreed. Greenwald has jumped the shark. To be fair, Snowden didn't have many choices.
What you describe is basically how coders coming up in the last 10 years have been learning -- specific context from StackOverflow or wherever. Contrast this to the hierarchical textbook learning which came before it the intention of which (I think) typically was to impart knowledge which generalises well.

I think what we have now is more productive but results in worse programmers. I.e. you fix the thing in context, but learn little out of context and have to go back to the source of answers when the next thing comes up. The rate at which answers are sought increases, doesn't decrease. Etc.
I think that IDEs a becoming more useful since our reliance on LLM tooling for code production increases. That said, why isn't there any good alternative to webstorm?
When was Clinton indicted and arrested for this crime? It was never prosecuted, she just received a fine from the FEC
These are "Because I can find an exception, your position is invalid." arguments. Not sure I can recall the exact fallacy title, but it's a fairly typical debating tactic.
Is there a way to edit the skill to add your own API key. And if you are on GPT Plus, use it for GPT-4
Sounds like a police department wants to be defunded. They forget who they work for.
Thanks! This is probably a reasonable substitute; I'm not too sure if "hold to activate/release to deactivate" is something to add to the input model or something the developers are interested in.
Yeup. I had a similar comment above. I tried phone screening someone, and they had no working knowledge of the commercial apps that we integrate with, the databases we use, etc. And I can hire literally for half the price someone with working knowlege AND know they won't be resentful about the job....
Autoregressive sequence modeling is all you need
Linux distros designed to run "Live" (formerly off a a CD, but nowadays a USB or) are approximately immutable. A couple good examples are Tails OS and the venerable TinyCore Linux distribution.

I also agree with many other commenters about inclusion of NixOS and GuixSD.
Good thing the specific energy density of lithium is only critical in portable storage, grid level storage has lots of other options from alternative chemistries, compressed gasses, thermal storage, and even possibly hydrogen fuel cells.
Is there a way to modify the skill to add your own API key and, if subscribed to GPT Plus, to use GPT4?
> I haven't seen anything as intuitive since.

A handful of folks in yesterday's Scratch thread were saying it could be a modern version of what Flash was. I haven't used it myself. https://news.ycombinator.com/item?id=35373052
Hope it leads to somewhere interesting for you! Unsuk Chin is in the school of Ligeti, perhaps try this magical little thing: https://www.youtube.com/watch?v=jP31oUljA_g

Yeah jazz is definitely it's own language, not just an extension of classical harmony as some would have it. Classical provides a model that makes jazz highly unlikely. I'm still figuring out what I can say in words about the difference. Something about freedom vs. structure in relation to the scope of expression. But you have to get used to hearing those non-triad notes as fundamental, not just as "passing", and a feeling for what idiomatic progressions are implicated by that.
The printing press has been used to incite carnage and hatred for centuries. Should we have restricted printing presses until we figured out how to prevent them from being used for genocidal propaganda?
Oh cool I love janet, I've been using it everywhere I can recently. There definitely weren't many good resources on it last year, though it wasn't too hard to learn despite that.

This language also completely converted me to PEGs for entire classes of problems, and I'm now often annoyed in other languages that don't have them. Libraries exist, but having it built in is so nice, and the s-exp syntax works much much better for them than almost anything else you could come up with.

A moderate issue I had was finding functions for what I wanted, since the docs were set up more tutorial style, then there was just a huge list of every function. Spent a lot of time skimming through that guessing what I could be looking for.

Another thing I ran into is the concurrency/fiber system still feels like a work in progress. There are several different ways to handle concurrency depending on how you want to combine the abstractions, and some parts of the (otherwise excellent) standard lib don't work well with it. It also combines nastily with a lot of C libraries, which is rough in a language that seems to expect you to use C bindings often. Understandable limitation and there's probably not a good clean solution.

Anyway this book looks great, I really hope it brings more people into janet. It's an excellent language for a lot of applications where people reach for the imo extremely overrated lua.
Paraphrased: You do not get led into trouble by the totally unknown. It is your incorrect beliefs that get you into problems.
somehow i doubt that, judging from what you posted, it can't be that bad. don't be shy.
Kind of like browsing an OSS repository to see "how it works" for inspiration.

And that's what sourcegraph.com is for
Books are definitely not under control, and neither is internet search.

Parents can try to block chatgpt with a firewall if they wish. It’s no less likely to work than blocking other internet sites.

Edit: Also, LLMs do have mandatory parental controls. They work about as well as book censorship, safe search or internet blacklists (very, very poorly).
ChatGPT is an internet service. It's easy to block.

I disagree it's easy to block the internet in general, but I get the point (I think).
So far it seems letting private industry iterate on LLMs doesn't directly pose to a risk of ending lives like human trials and nuclear weaponry development do.
> “remember that? yeah it was 5 years already”

I get the impression many HN commenters haven’t even been adults for 5 years so no, they really don’t remember it :) for example articles get posted here and upvoted with the author boasting about their insights from being in the software industry for 3 years!
More secure, doesn't annihilate your privacy the way Win11 does, doesn't force features down your throat, and has pretty dang good (tho I'll concede not perfect) Steam & game compatibility.

I installed it on my grandma's laptop to keep her safe from shady malware and scammers, and to keep things simple. Was notably faster than Win11, too.
"Impact on disparate groups"

I know who made the law happen, but it seems odd to me to ask police depts to run statistical analysis of their own work. Not only they are not a neutral party, but thats not their mission. Thats for qualified data scientists and researchers to do.

Police are supposed to address crime
ChatGPT can help you that process if you ask it to.

I often paste chunks of code into it just to get a detailed line-by-line explanation of exactly what that code is doing. It's really helpful, especially for convoluted code that you're trying to get a good feel for.
That depends on whether the fact you shot someone is a disputed fact in the case.

you can't have direct evidence of someones alertness or state of mind, only circumstantial.

the direct evidence from witness testimony is only needed if the shooting is disputed.

assuming the shooting is proven, with no evidence of intent, you can't have murder 1, and likely can't have murder 2 either and are probably stuck with involuntary manslaughter.

obviously it depends on the state.

however even manslaughter requires some requisite knowledge and intention of what you are doing - but proving something like insanity or incapacity is usually on the defense to prove.
https://english.ctivd.nl/binaries/ctivd-eng/documenten/revie...
Upon further research, I retract this comment. I wont delete it for the sake of transparency.

My initial reading of the text was that it gives the executive branch the right to force companies from a selected list of "foreign adversaries" to divest if it deems it a threat to national security.

I personally believe thats entirely reasonable both from a national security and trade-relations point of view but upon further research this bill looks like an extension of the Patriot Act giving the executive branch

Heres the new information regarding the vagueness that changed my mind:
- It punishes citizens for using the "banned" product.
- It gives way more arbitrary power to the secretary of commerce to decide whats a threat to national security than I initially realised.
- It allows the government to regulate VPN, essentially removing our write to privacy.

As a side note, this is exactly why many people like me have trust issues with the government and other institutions. I don't understand how these smart lawyer types don't realise the immense damage they are doing to public trust.
History with NYPD suggests they know they have a good chance of getting away with it, unfortunately.
I’d Google “forth trig functions” and get, for example

https://web.stanford.edu/~dljaffe/SVFIG99/trig.html

https://www.hpmuseum.org/forum/thread-18123.html (which links to https://archive.org/details/Forth_Dimension_Volume_04_Number...)
cant imagine why a police department where thousands of their employees park their personal vehicles each day all over sidewalks illegally as a matter of course might be slow-walking some annoying rule about surveillance.
I don't mind the changes
Oh no, I may possibly be arrested on nebulous charges regarding campaign finance laws(after pilfering classified documents, naturally, and calling election officials saying that I need a certain number of votes). And your advice is to have weapons when legitimate authorities come knocking. Somehow I think you may be overly paranoid about the possibility of this happening. It's certainly not something I lose sleep over at night. And I definitely won't be using force against them; we have a functional court system to provide an extra check against excesses like you presume to exist. For the record, I'm aware that the system isn't perfect by any means, but it's also nowhere as bad as you surmise.
I wonder if Jank [1] could be such a Lisp? I haven't played around with it, but I really like the idea and would love to see it get more traction.

[1]: https://jank-lang.org/
Well, it seems like they should arrest themselves based on this article.
"Automating the tedious job of writing bugs so you can get on with the important business of investigating them," was a way I jokingly described the value proposition of AI coding assistants to colleagues in the early days of Copilot. It's amusing to see it stated unironically here.
> While these tools provide useful means of visual expression, they often lead to developers having to infer design vocabulary from the mockups themselves [emphasis added]

Unless your designers are a 3rd party, bring them over to the dev team. Throwing material over the wall is almost always going to lead to a bad time when there are not experts on both sides handing off from one to the other. The designers should be working with the developers to implement their vision. In essence, from the developer perspective, the designer is the customer (at least up to a point). Your developers having to "infer" suggests that they aren't in a position (either aren't aware of who to ask or explicitly barred from asking) to ask the designers for clarification, that's a communication barrier that will cause harm to the project.

Barriers like this (silos in general) are a great way to isolate separate groups, but also greatly reduce the effectiveness of everyone.
Because if you don't find out a way for it to hold human values extremely well then an easy solution to "Cure All Cancer" is to "Kill all Humans", no Humans no Cancer. Without an explicit understanding that this is not an actually acceptable outcome for humans an AI will happily execute it. THAT is the fundamental problem, how do you get human values into these systems.
Indeed, Eugene Debs ran for president while in prison in 1920:

https://www.zinnedproject.org/news/tdih/debs-received-millio...
I agree there's a lot more than "sign an open letter" they could be doing. I'm mostly objecting to the "they need to engage in terrorism or they're not serious" assertion.

As for resigning in protest, my understanding is that Anthropic was founded by people who quit OpenAI saying it was acting recklessly. That seems like the best skin-in-the-game signal. I find that much more compelling than I would the Unabomber route.

People like Musk and Woz should probably be pouring money into safety research and lobbying, but I don't think a hunger strike from anyone would make a difference, and resigning only makes sense if you work for OpenAI, Google, or a handful of other places where most of these people presumably don't work.

What should I, an employee of a company not developing AI be doing? The only reasonable actions I can see are 1. work on AI safety research, 2. donate money to AI safety research/advocacy, and 3. sign and open letter.

(I did none of these, to be fair, and am even giving a monthly fee to OpenAI to use ChatGPT with GPT-4), but my partner, an AI researcher who is seriously concerned, tried to sign the letter pit was ratelimited at the time], and is considering working in AI safety post-graduation. If she weren't making a PhD-student's salary, she might be donating money as well, though it's not super-clear where to direct that money.)
The government kinda already spys on you anywhere,anytime for any reason
It's great for boilerplate, like a snippets+. If I ask it to solve something that's basically straight out of the documentation / walk through, it spits that back at me. Bad at doing the hard work imo. Useless at solving novel problems, or those that don't have a solution already within its data set.

Being limited the way it is - not being able to use a project's greater context, which is millions of tokens generally - is a severely limiting factor that makes it unsuitable for serious work as well. Working around this (figuring out what dependencies to inject into the prompt) is as much work as actually coding.

I can see that it's passed some sort of threshold with the greater population. It is great generating filler text. Just what it can do right now should have many applications.
I've been running Flatcar Linux as my home server OS since it was CoreOS (which was later acquired by redhat and rebased onto ostree -- Flatcar kept the A/B partition setup so it was nice to be able to directly upgrade to it.)

You set a maintenance window for the reboots and then basically you don't need to touch it. I keep all my docker-compose files in github and just have them all set to launch on boot. linuxserver.io has well maintained images for just about everything you'd want to run at home.

Both Fedora CoreOS (ostree based) and openSUSE's MicroOS are the same way, they give you a kernel, systemd, and a container runtime and then the workload is decoupled into containers, it's a nice setup.