skysight-inc/HackerNews huggingface dataset:
A more robust and less passive aggressive way to do this is to write a unit test that fails under the "wrong code".
It didn't cope with services starting and stopping well, and couldn't provision services from docker (at least when I looked at it).
Modern airport security is beyond useless. It's hugely wasteful and ineffective.
https://www.vox.com/2016/5/17/11687014/tsa-against-airport-s...
reading through this post, in my opinion, we need these kinds of public naming and shaming acts to be made more frequent for people who think free software means a one way street
AI Powered Project Management Tool
A project management tool powered by AI. To help you fill the missing gaps of whatever project you embark on. Along with a fancy dashboard and 7 day free trial.
> Now consider how incredibly similar their brains are, despite the massive performance gap.

A disk filled with random bits is "similar" to a disk that stores the whole Wikipedia's text content. So writing the whole Wikipedia is an effort of a hair's breadth...?
OK I see what you mean. I don't think using your suggestion of semantic tokens is a good way to do it. They will do it by wrapping the raw text completion with more steps that are hidden from you, which will make it do the math right, and then it won't make such obvious math mistakes anymore.
I don't think you get it. The game has already changed. And nobody trained the AI to write unit tests or refactor code. It could do it as emergent behavior.

It happened so fast that so many people are in denial and many people aren't even asking the obvious questions. Simply ASK chatGPT to refactor your code to be more unit testable and IT Can do it.

Of course it clearly has your typical LLM problems but it is roughly 50% there. The game has changed. If AI gets to 100%, not only will the game be changed, but humans will no longer be part of the game.

See what I asked chatGPT:

ME:
def (x: int):
for i in range(x):
print(i)

Can you refactor the code so it can be more unit testable?

CHATGPT:
Certainly! To make the code more unit testable, we can refactor it into a function that returns a list of integers instead of directly printing them. Here's the refactored code:

python

def generate_number_list(x: int) -> List[int]:
number_list = []
for i in range(x):
number_list.append(i)
return number_list

In this refactored code, we've created a function called generate_number_list that takes an integer x as input. Instead of printing each number, we use a number_list variable to store the generated numbers by appending them in the loop. Finally, we return the number_list.

By returning the list instead of printing the numbers directly, we make the code more testable because we can now write unit tests that assert the correctness of the generated list.

If boggles my mind that I see threads of people saying "what if we train LLMs to do this or to do that?" or whatever. Guys, just ask the LLM to do what you want in plain English. It can do it.
> For legal reasons, we could not contribute directly, but we could discuss the required changes with someone from the SQLite team and then iterate with them by testing or commenting.

Ah, here's the catch! I knew SQLite didn't accept code contributions, I was suprised they managed to contribute anyway, and then this sentence clarified the situation. So they indeed did not manage to contribute their code itself, but the SQLite team agreed to write this code themselves. I wonder what was the SQLite team's motivation behind this cooperative work.
Netflix's selection doesn't really have the staying power of HBO's selection.

HBO has some all-time classics that will be watched and discussed for decades, not just months. Sopranos is still discussed and rewatched and memed. Same with The Wire.

I feel that Netflix's offerings are hot for a few months, then fade from public memory.
Capitalism is the AI running on all our firmware…
Searchability matters.
https://excalidraw.com !! Such an amazing app, free and open source
Looks like this: https://www.sqlite.org/copyright.html

Kind of weird, couldn't they use a CLA?
> I'm just irritated that there was a secret definition to "carmelize onions" that nobody clued me in to.

Many words will have definitions you don’t know — sometimes literally the opposite of their “proper” definitions!

It’s not a secret, it’s just a thing you didn’t know yet. So don’t be too mad, now you know.
Most likely what is documented at https://sqlite.org/copyright.html

> SQLite is open-source, meaning that you can make as many copies of it as you want and do whatever you want with those copies, without limitation. But SQLite is not open-contribution. In order to keep SQLite in the public domain and ensure that the code does not become contaminated with proprietary or licensed content, the project does not accept patches from people who have not submitted an affidavit dedicating their contribution into the public domain.

> All of the code in SQLite is original, having been written specifically for use by SQLite. No code has been copied from unknown sources on the internet.

They want to be freaking sure they are the original authors / they can release the code in the public domain.

Public domain is tricky and does not exist in the same way everywhere. Where I live, you just can't decide to put something in the public domain, you need to use something like CC0 [1]

[1] https://creativecommons.org/share-your-work/public-domain/cc...
Has the Elm community finalised a canonical way to work with Elixir Phoenix?
Assuming you currently recompute the whole thing on every edit, it might be fairly straightforward to speed it up by reusing the results of the previous run. Areas which do not overlap the edited area shouldn't need to be recalculated. Bounding boxes would be a quick way to test overlap.
Tips for Choosing an Angular Components Library
The goal of WASI is to add a standardized system API to WebAssembly, allowing you to access underlying systems (filesystem, networking, etc) in a homomorphic and secure way.

In practice, this means that you can compile your Rust/C++/etc code to WASM + WASI, and that code will run anywhere you have a WebAssembly VM. So the same code that accesses the "filesystem" in a browser context can also access the filesystem in a desktop/mobile/edge/etc environment.

You could also think of it as an attempt to turn WebAssembly into a fully-fledged JVM alternative. Compile once, run anywhere (including browser).

For this specifically, it means that SQLite can integrate with WASI APIs (instead of only Web APIs as before) so that an SQLite Wasm build can run in other contexts besides browsers.
Show HN: iCal RSVP Helper
Hi HN,

We use HEY for Work at my startup, which doesn't have a calendar integration. This is mostly fine, as we can simply use our private calendars, but has a major drawback: We can't reply to invitations in an easy way.

I made this microsite to help with this problem until they implement simple Yes/No/Tentative buttons in HEY. It's fully client-side, and gives you the ICS-file you need to attach in an email, and the correct address it needs to be sent to as well - just select your file and RSVP.

Hope it's useful for someone else too!
https://www.versobooks.com/en-gb/blogs/news/4421-the-authori...

"The psyche of a fascist is “authoritarian” in the sense that it attaches itself to figures of strength and disdains those it deems weak. It tends toward conventionalism, rigidity, and stereotypical thinking; it insists on a stark contrast between in-group and out-group, and it jealously patrols the boundaries between them. It is prone to obsession over rumors of immorality and conspiracy, and it represses with self-loathing the sexual licentiousness it projects onto others. In all of these ways, fascism appears as the political manifestation of a pre-political disposition. The authoritarian personality does not always turn explicitly fascist; its politics may remain dormant, only to emerge under certain social-historical conditions."
> The straw man you're attacking seems to be a reflection of your own general idea that USD is the 'supreme' currency and anything having comparable properties in any way is some foundational challenge to this multi-faceted strict dominance.

Constructing a straw man to attack while accusing someone else of doing a straw man. Folks, we love to see it.

Look this is a dumb argument to be having in 2023. These cryptocurrency projects are going to fizzle out and disappear once enough of those involved find a new grift (either ChatGPT/LLM-based things or whatever comes after that). If you want to be holding the bag when that happens then that's on you.
This duty does not actually exist, though many us-americans think it does. See https://medium.com/bull-market/there-is-no-effective-fiducia...
US bans North Korean outsourcer and its feisty freelancers
For the casket you can get a T-shirt: "I died in Fantastic Pit!"
The Wii-U just wasn't good though. They have a good history of putting out pretty good hardware and the Wii-U just didn't hit that value.
Maybe we are simply culturally inclined to believe that the bar exam is more sophisticated than say, learn how to drive. A lot of the compute power required to drive is simply hidden from us because it's inconsious. While intellectual tasks are mostly done consciously. So it remains to be shown which task is actually more complex. And in the meantime it's clear than most people, independantly of their academic background can learn how to drive relatively easily.
It's not enough to guarantee the code has not been copied from somewhere / can be released in the public domain. The only way to have this guarantee is to write it yourself.
And for traffic to be so bad that they buy autopilot
no way does 1 in 93 kids die in a car crash for any given year
Not sure I would take parenting advice from Steve Jobs!
Okay,so obsidian looks really cool but from what I see on their page it is not open source right?

Any open source equivalents?
Ideally, then, perhaps the laid-off workers should not be hired. It is better that they are jobless today lest we hire them only to fire them tomorrow.
Nobody said that nature is optimal. Wheels are trivial, however not present in biology. Nature creates tentacles, not jet engines, nuclear energy etc.

Majority of human brain computation is spent on things that are simply not necessary for computer models (how to wiggle limbs, mouth, eyes etc).

Current LLM are impressive, but we know they can be much more efficient - we're using very low quality training data, we don't use any methods to question training input/evaluate it against current knowledge etc. Our current language models are based on reciting/memorization/force-feeding, not true learning.

Computer models have massive underlying advantage of working on CPU/GPUs where they can be modeled, cloned, retrained, have binary accuracy, can integrate with specialized code instantly, have access to massive memory storage, they are insanely fast and precise etc.

Looking at it from first principles, there is no reason to think that near optimal runtime should not be more efficient than human brain on currently available computers.

We don't need to simulate full brain just like we didn't have to create super fancy legs to go to the Moon.
not bad, thou you'd still have to search and find it
I disagree w/ the premise of the article. It's oddly assuming that leaders of these huge tech companies have no knowledge that the pandemic would end. Effectively calling them dumb.

It's just wording. I think reworded in the spirit of the article is "Leaders should _do_ better" and be more steady/stable with their project and hiring practices.

But it's simply good capitalism. You should grow and shrink with the times all while building a massive store of cash. The problem is, good capitalism makes people get used/burned and ignores... well people.
I guess you and the parent are sampling the microserivce hype curve at different points in time.
feels like the 80's again :)

double-density floppy gogo!
Fake news about Hillary Clinton is a good example, as is Breitbart's very existence, as are foreign reddit bots, as are a lot of political extremists parroting views in their own posts on subjects about which they have no knowledge, etc.

Granted, for things like Breitbart, one has to affirmatively opt-in.
I already use gpt4 for this. Works quite well if you show it a couple of reference unit tests.
AyaIQ – Better UI that takes the pain out of ChatGPT prompting
Hey everyone!

I just wanted to share my new app with you that solves a problem I was having with ChatGPT's interface. I found the text input area to be too small for me to copy/paste and edit larger volumes of text. Plus, I couldn't save and edit specific prompts that I wanted to reuse. Many times I find it cumbersome to think of and type full prompts and wished an app would just do that under the hood.

So, I created an app that has more of a text input/output side-by-side interface instead of a chat format. It's been a game-changer for me and has increased my productivity and made my prompting process a lot smoother.

If you're interested, feel free to check it out and let me know what you think!

AyaIQ (https://www.ayaiq.com) – the tool that takes the pain out of ChatGPT prompting. You’ll enjoy an intuitive interface that makes it easy to write, edit and save prompts. Plus, with a curated list of prompts, you’ll always know exactly what to say.

Here are just a few of the advantages of using AyaIQ:

1. Seamless Prompting Experience: A spacious text input area and a side-by-side prompt request and response display for an easy-to-use, intuitive interface.

2. Personalized Prompt Library: Tailor the prompts to your specific preferences and save them in your personalized library for use whenever you need them.

3. Handpicked Prompts: Diverse range of meticulously curated prompts are designed to inspire your creativity and enhance your work.

And there's more to come. I’ll update the app with features such as:

- web access and crawl

- document/speech/image uploads

- Claude and Google Bard integration (it’ll be great for users to have access to 3 LLMs in one app/subscription),

and many more exciting features as I go along.
Patchformers
Or just learn to write it ourselves? If it takes the same amount of time to work with the LLM as coding it from scratch then I'd prefer to improve my coding ability while I do the work.
I've been on a lot of flights lately, and in a lot of tourist towns. It ain't all rich people.
I don’t completely follow, this is people living in a Portland suburb lobbying against getting a public transport connection? How is less infrastructure better?
While it's true that there is no direct link between share price and solvency, share price is the market's valuation of the company. This is very much impacted by the (future) profitability and the solvency of the company.

If the market thinks the company won't be able to make a lot of profit, or the market thinks the company is approaching insolvency, the share price will tank.

In other words, falling share price is not a cause of insolvency, it can be an indicator for it. The share price quite literally is the market value of the company.
In the presentation made when it was discovered[0] they said: “The NTR cartridge was likely meant to be used for either the factory setup or as a means of recovering bricked NANDs. However, we'll never know for sure.”

[0]: https://sciresm.github.io/33-and-a-half-c3/
Storage manufacturers now give the application more control over SSD FTL operations through ZNS. https://zonedstorage.io/docs/introduction/zns. Curious to see how it will be used
A Quick How to Format a USB Stick in FreeBSD
Nope - those are all bagged single ingredients I usually order online. Authentic Foods has most of them. The ivory teff is from Maskal. The arrowroot and tapioca might be called flour, starch, or powder - all the same thing. Potato starch and potato flour are 2 different things.
The benefits of making illegal states unrepresentable, providing safe abstractions over unsafe boundaries, and high-quality built-in documentation scale quite nonlinearly to large teams is all.
That isn't the game.

The game is designing software to requirements. It's writing literature for a new era. It's creating X for A audience with N vauge unspecified needs -- where X is a complex product made of many parts, involving many people, with shifting and changing problems/solutions/requirements.

The game was never writing the stack overflow answer -- that was already written.
I started falling behind in Maths when I was about 15.

So my mum paid for and drove me regularly to private tutoring after that. Within a year I was near the top of my class.

Though that's probably a coincidence and I'm guessing my white genes just kicked in around then.
Basically you have a machine running at home, and when you want to watch Netflix, you send the traffic through that machine so it looks to Netflix like you're from your home network
I'm conceited enough that lately I've been thinking, "maybe I should just write a text editor. It can't be that hard."

I tried a new text editor today that's written in rust. I downloaded the tar.gz and it just had a single executable binary in it It doesn't feel any more responsive than vscode, but at least its rust extension seems to work. I wrote like 20 lines of rust without any borrow checker errors so it was a good day?

Back when I worked on space ships, I used gedit and grep. That was before gedit's UI got butchered. Those were the good old days I guess.
First “Transformer” architecture and now “Megabyte”? I swear they’re trolling us!

We’re just a generation or two away from the “computer” model.
And keep running software that is 4-5 years old until the maintainers decide that they're ready for a new stable release, unless you use testing and backports? No thanks. I used Debian for years, and I stopped using it out of frustration when I realized that I couldn't install what was available on basically all other distros without risking breaking the system. It's a good choice if you want to run a stable server, it's an awful choice for desktop users.
As far as I can tell there is no information provided about what information security measures are in place to protect this hugely juicy target full of commercially sensitive info, and an explicit disclaimer saying "hey folks we offer no guarantees about reliability, uptime or whether we'll disappear in a puff of smoke with all your contracts." Bit worrying
The Structure of Scientific Revolutions [pdf]
I wonder: how ssl (httpS, rtc) traffic could be decrypted and read by a VPN provider?
Is there something I missed?
So use it to progressively enhance your app when it's viewed in Chromium, and provide functionality a different way for other browsers.

Progressive enhancement should be the default, not rejecting APIs because they're not available everywhere. Especially in this case because there's a polyfill...
> Also, it's a bit ironic how one way to prevent bugs is using stronger type systems and formal methods. But, AI is particularly bad at formal methods.

It kinda works tho. In my anecdote Copilot works much better with C# than Python simply because I can write the signature of a function and that it generates the content.

(I know Python has type annotations too, but Copilot just isn't as smart as with C#. Perhaps because there isn't enough training data in typed Python?)
I thought my comment was very clear.

The government isn't banning the note, they are being taken out of circulation in a boring, routine operation. At best it's of local interest and I am puzzled as to why this non-story is getting so much attention.

I would be equally surprised if a story about the UK pulling old notes out of circulation was covered by The Hindu Businessline and then made it to the front page of HN.
This is the one case where NIH syndrome is warranted: Entangled legal issues & legal dependencies are no fun for anyone.
I don't think it will kill WinRAR
WinRAR has a lot of features
but overall that's a very good new feature for windows who cares about other ppls money i care about myself
Is it really extraordinary or unbelievable? Easier access to infrastructure which is quiet and environmentally friendly should reasonably not decrease property values?

I would definitely be more interested in a property with bike infrastructure, although that is just one tiny sample with no control variables:)
>Create a web site using language X with framework Y

Not sure if you played with chatGPT, but you can ALREADY ask it to do this and it will give you something that works 50% of the time.
Looking at the exact same source as the WSJ graphic used, you can see it was quite cherrypicked: https://fbx.freightos.com/

From that source, the average rate in May 2019 was about $1350, and according to the most recent datapoint, it's currently at about $1450. In 2019 dollars (using CPI), that's about $1220.

Seems like it is down 10%, but that's not nearly as dramatic as the WSJ graph would make it appear.
Do you believe that Moore’s Law (or rather Huang’s Law) will stop being true before AI exceeds human capabilities by orders of magnitude?

We don’t need a runaway singularity for AI to just render human intelligence obsolete.
> The number of young people going days without seeing another human being should startle and upset.

That number has little to do with WHF. WHF might have increased it but it certainly isn't the root cause or even a major driver of the rise.
Why Tipping Prompts Are Suddenly Everywhere
It is Bobby Tables again. /s
would not be surprised if they integrated a "suggested conversations" feature based on your chat history and behaviour, where the user just picks sentences from a list and both parties can enjoy a effortless "organic" conversation.
Markets Continuously Project Lower Rates Much Lower
Very nice! A bit of feedback: when you quickly click many cards, they are open at the same time, which makes it trivial to see pairs. So maybe you want to wait opening any cards until the last pair is closed.
It says "No credit card required" but it ask me for the credit card number and I can't enter.
I like to overbuild my own things as a way to build a skillset, and I've basically only been doing that on software where only extremely specialized features are gated (e.g. Vault's HSM service, can't justify to afford one of those anyway).
Ask HN: Is is possible to self study undergrad mathematics from books?
Undergrad mathematics is still a wide range of topics. But the must include topics are calculus(analysis), linear algebra, algebra, combinatorics, probability and statistics, etc.

Is it possible to learn most of undergrad mathematics through self studying books and solving problems? Has anyone done it for whatever reason they decided to do so?

Which books are most suitable for self studying topic XYZ of undergrad math?

Often books listed in course webpages are good reference books but not good for self study. A book suitable for self study should invoke the curiosity and desire to dig deeper and learn more about it. Formalism with strict rigour comes after that.
If I mostly use TypeScript for the backend, what would be a benefit of Go to make me switch?
I like this approach as well. I already cancelled Amazon Prime and I don't miss it. The Video service wasn't interesting anymore and shipping with Prime isn't what it used to be.

I also do this with the Xbox Game Pass. Subscribe for a month, play some shorter indie games for which I wouldn't pay 15€ each and then cancel.
Industrial action build up from even smaller actions. Strikes don’t come out of nowhere.
A CLA only covers the things you wrote, and while you ensure in the CLA that you only contribute things you wrote and are allowed to license to them, it is possible that you lie, so there is the danger (although a small one), that contributors might upload proprietary code written by others. IANAL
nginx by default adds a version header in the response. I did not expect that nginx.org themselves would be 2 minor versions behind latest.