skysight-inc/HackerNews huggingface dataset:
/g/ is full of intelligent people who could easily do what I do every day at work and are still unemployed.

It's not a lack of skills. Getting a job (especially your first) is a lot of work. In some ways IMO it's more work than what you would be payed to do. Once you get payed what do you do with the money? You spend it to participate in society.

Except most of our social institutions are gone anyway. Marriage (the larger motivator) is practically symbolic at this point. All that's left are the hard economic ideas, so they can spend it to live in their own place and not deal with their mom. Even those aren't doing so well, look at home ownership or even renting. Is it worth it? Some say yes and get jobs, plenty say no.

We've restructured society so there's no place for these men even if they did find jobs, then on top of that we've brought in millions more men to ensure if that any niche that developed would be immediately filled. This is what people really mean when they complain about low wages or high inflation and it's not something that can be fixed by fiddling with the money supply.
From what I have heard from my (admittedly few) friends there, it hasn't changed much outside of the pure tech sector. The culture of being in the office hasn't changed as much as it has in the US.
Core Bitcoin Developer Gets Bitcoins Stolen, Asks for Help from Feds
Common Lisp has more than one type. See the standard: http://www.lispworks.com/documentation/HyperSpec/Body/04_bc....

This exists since early 80s. The first language definition book appeared 1984: Common Lisp the Language.

One could think that it is a gradual type system. Type declarations are optional and are used for several purposes. Many implementations use type declaration and optionally type inference as input for optimizing compilers. In the 80s the first implementation to add limited forms of static type inferencing and checking was CMUCL. SBCL is a later fork of CMUCL.

The challenge is to integrate dynamic types, static types into a language which is often used interactively - including a lot of dynamic features, where programs can change at runtime or parts of the language might change during runtime. Thus the type system has its problems and hasn't been improved since the 90s... Not many implementations have adopted the type system implementation of CMUCL & SBCL.

Generally the SBCL compiler, even though it is based on 80s technology, is quite helpful when developing Lisp code.
The Twelve Tables – The legislation that stood at the foundation of Roman Law
Show HN: I Built ChatGPT for Congressional Stock Trades
Hey everyone,

My name is Timothy Carambat and as a side project a while back I built senatestockwatcher.com and housestockwatcher.com which track congressional stock trades since the STOCK act was passed.

Since I've made those sites the data from transcriptions has been used anywhere and everywhere for people looking for "insider" information or just to see who is in violation of the act (over 60 congressional members are).

I figured with the rise of AI and the sheer amount and complexity of this information it would be WAY nicer for someone to just ask "How much volume did Nancy Pelosi trade in Q12022" and get an exact answer.

Other popular questions:
"Who trades more? Republicans or Democrats"
"Who is the top trading Senator?"

You can also ask any question you wants. I took heavy inspiration from ChatGPT's UI because...why not?

Its free to use, just signup with an email and its 5 custom queries every 24 hours!

Hope everyone enjoys it! You can also download all the raw information directly on the respective websites!
If Python changes affect you then by definition you are a user.

Python is basically in the same situation as Perl was a decade ago, with the added benefit of mainstream, living-breathing "success stories" like all the data science stuff (numpy, scikit-learn, etc), django, etc. (And Python seems to have a sufficiently large batch of pragmatic & progressive experiments that address various challenges facing users. Decades of effort went into scraping off the warts in areas like packaging, performance, stdlib ergonomics, etc. Python also successfully reformed its leadership.)
Influential Machine Learning Papers of 2022
> I wish there were a better alternative, but I really am at a loss to think what that could be.

(This is a general comment; not directed at Stripe with whom I personally have had no dealings needing support.)

It's simple. If you can't provide useful customer service, then you can't provide a service at all. Similarly if you can't scale professionally, then in reality you can't (and shouldn't) scale at all.

Tech scales, and customer bases scale, but the real world doesn't scale with it. Professionals with morals, and standards, and pride in what they do, should self-limit their business to what they can realistically handle. And that includes the greedy behemoths across all of tech. If they truly cared about their customers they would accept that there is a limit to how many they can provide quality support for, and artificially restrict their own growth until they've ironed out enough issues that they can release the tap and scale a little bit more.

Of course financial imperatives beat both professionalism and pride in how the company operates, so that never happens.

There's no technical fix. There's no financial fix. There's probably no legal fix either. It needs an attitude fix.
Yep. Regular expressions are great, but they rapidly fall over into write-only code for nontrivial applications.
Could prices in Tampa have anything to do with baby boomers retiring en masse right now? Also, with the Toronto retirees coming back after the pandemic?
Ask HN: 2023 way to do contact form
I'm about to launch my revamped business web site; the old one got blown away along with a cancelled dedicated server in a colo, backups forgotten.

I'm a little late to the public cloud party, you might say, but better late than never. I'm hosting the new site in an S3 bucket fronted by CloudFront.

My natural instinct would be to wire a contact form to a mailer running on the web server hosting the site, which, as we know, is so Jurassic an impulse as to be wholly ruled out in this brave new serverless world. Putting such functionality in Lambda gives me the sense of taking a labourious detour to reinvent some kind of wheel, since people with far less technical acumen are throwing up contact forms every day.

I have experience with some third-party overlay products for contact and engagement, e.g. www.livechat.com. Maybe I'll come back to that idea, but today I want a contact form that generates an e-mail, or perhaps calls a webhook/POST-back.

I'm embarrassed to say, I don't really know how to get a high-quality contact form going in a truly turn-key, serverless, 2023 way. Recommendations appreciated!
Sam Bankman-Fried pleads not guilty to federal fraud charges in New York
It’s an acronym, of an acronym
Sam Bankman-Fried pleads not guilty to criminal charges over FTX collapse
The Open Observatory of Network Interference project monitors the Internet to detect censorship - https://ooni.org

We are a no-profit and network measurements are provided by volunteers.

You can browse our data regarding raw.githubusercontent.com on:

https://explorer.ooni.org/chart/mat?probe_cc=IN&test_name=we...

https://explorer.ooni.org/chart/mat?probe_cc=IN&test_name=we...
I'd say this is more related to the observation that LLMs aren't going to be good at math. (As the article says, their current performance is surprising enough as it is but I agree that it seems unlikely that just making bigger and bigger LLMs is going to get substantially better at even arithmetic, to say nothing of higher math.) They have a decent understanding of "X before Y" as a textual phrase, but I think it would be hard for them do very much further logic based on that temporal logic because it lacks the representation for it, as it lacks the representation suitable for math.

I expect if you asked "Did $FAMOUS_EVENT happen before $OTHER_FAMOUS_EVENT" it would do OK, just as "What is $FAMOUS_NUMBER plus $FAMOUS_NUMBER?" does OK, but as you get more obscure it will fall down badly on tasks that humans would generally do OK at.

Though, no, humans are not perfect at this by any means either.

It is important to remember that what this entire technology boils down to is "what word is most likely to follow the content up to this point?", iterated. What that can do is impressive, no question, but at the same time, if you can try to imagine interacting with the world through that one and only tool, you may be able to better understand the limitations of this technology too. There are some tasks that just can't be performed that way.

(You'll have a hard time doing so, though. It is very hard to think in that manner. As a human I really tend to think in a bare minimum of sentences at a time, which I then serialize into words. Trying to imagine operating in terms of "OK, what's the next word?" "OK, what's the next word?" "OK, what's the next word?" with no forward planning beyond what is implied by your choice of this particular word is not something that comes even remotely naturally to us.)

When this tech answers the question "Did $FAMOUS_EVENT happen before $OTHER_FAMOUS_EVENT?", it is not thinking, OK, this event happened in 1876 and the other event happened in 1986, so, yes, it's before. It is thinking "What is the most likely next word after '... $OTHER_FAMOUS_EVENT?" "What is the next most likely word after that?" and so on. For famous events it is reasonably likely to get them right because the training data has relationships for the famous events. It might even make mistakes in a very human manner. But it's not doing temporal logic, because it can't. There's nowhere for "temporal logic" to be taking place.
> People don't leave their WiFi open

Yes they do. From my 1st WRT54G to my latest AX mesh, I have never had a WiFi password. My friends and family that were visiting over the Holidays apricated it. Everyone used it, no one asked me for the password.

Are people still Wardriving? Even if they are, the odds of a malicious hacker coming to my neighbored is up there with getting stuck by lightning. Not losing sleep over it. Why should I?
They are lozenges. 250mg and I get 30 at a time for around $40/shipped.

I have closed eye visuals rarely now. I did accidentally go too deep once.
Not really talking about bottling- in Scandinavia their tap water is better than most bottled water.
Make Swing Great Again!
It's not really about what's better, it's about whats been standardized upon.

I'm sure I could gain many of the advantages of microservices through an OSGi monolith, however, an OSGi monolith is not the hot thing of the day, I'm likely to be poorly supported if I go down this route.

Ideally I also want some of my developers to be able to write their server on the node ecosystem - if they so choose, and don't want updating the language my modules run on (in this case the JVM) to be the biggest pain of the century.

Besides, once my MAU is in the hundreds of thousands, I probably want to scale the different parts of my system independently anyway - so different concerns come in to play.
I uploaded a copy of the U.S. Constitution...

It told me that it would cost $123 USD to summarize...

It also told me:

>"This document summary is not legal advice or legally binding in any way. You should consult a lawyer."

Opinion:

A Lawyer would cost me less... <g>

(Perhaps I could get a cheaper rate if I uploaded the Magna Carta or The Twelve Tables (of Ancient Rome) or the Ten Commandments or Newton's Three Laws -- or the Two Laws of Richard J Maybury:

o Do all you have agreed to do

o Do not encroach on other persons or their property

)

All I know is, $123 is too expensive for me -- and,

What if the AI takes the Law -- and interprets it all wrong?

?

???
Nice there is something like this, pitty its in python.
I'd agree - technically speaking, there's no real barrier to a secure way to export from a FIDO key. HSMs have support for it - authenticate to the HSM, provide an encryption key (or public key), and receive an encrypted dump.

I do fear resistance from the big tech "overlords", trying to protect non-technical end users from an "endgame" type phish attack, where their device is compromised and they unwittingly export a backup encrypted to an attacker-controlled key.

From what I've seen so far (you may have a better idea than me), Apple and Google are giving "dip your toe into the swimming pool" type ways of sharing passkeys, but which actually revolve around scanning a QR code (proximity) shown on the (unpaired) screen/device using your (trusted) phone, which then uses BLE and similar short-range comms to let you sign in.

I am not aware of any proper "migration" that takes you off one platform and onto the other platform - the above is fine as long as you never break your phone (or can afford to instantly replace it with one from the same ecosystem), but makes no provision for someone wanting to move from iOS to Android, or to get rid of their phone and move to an authenticator in their browser on Linux. In the real world, people smash and break phones, and drop them in the ocean - there need to be recovery modes from this. A good Webauthn key will likely outlast at least 2 generations of current shiny gadgets.

Finally, all of this assumes users have unlimited resident key storage - most dedicated hardware keys are limited on this front, and I do hope we see options for people who want to stuck with UN + PW + FIDO2 (non-resident, as MFA). Even though I have confidence in the crypto, I like to separate concerns. A dedicated bit of hardware that can be unplugged from the USB port can resist attacks that on-platform TPM/secure elements can't, and is also inherently portable. And FIDO2/Webauthn today with non-resident keys is hugely portable (and even more portable if there was a way to pair friendly backup keys at time of initial registration).
"Free rein," it's an equestrian term.

https://writingexplained.org/free-rein-or-free-reign-differe...
When the whole world is run by capital, your contributions are only measured by how they help capital. There are ways to contribute to society that don't pay the bills.

And in any case, socialist countries don't outsource labor.
You can't do this here, and you've been breaking the site guidelines badly in other places too:

https://news.ycombinator.com/item?id=34072827

https://news.ycombinator.com/item?id=34064916

https://news.ycombinator.com/item?id=33772786

https://news.ycombinator.com/item?id=33693135

Therefore I've banned the account. Please don't create accounts to break HN's rules with.
Just be glad your not in the UK. I pay 35p / kWh down and get only 5p / kWh for excess I sell to grid through Smart Export Guarantee. Price down has doubled in two years and way up has hardly moved.

I joked with my neighbour that we should wire up our homes and sell my excess to him at mid point and we would both be better off.
There’s an interesting sideroad here: A lot of medical jobs are there because of legal culpability: If someone fails the blame can be placed on them and not on the hospital who hired them. It might be a long time before they get to have that same protection with AI (probably miles and miles of contracts negotiated with a 3rd party who owns and operates the AI that’s used).
In the US I think, for me personally, its less about the work/career itself being more important than raising the kids (because it's definitely not, don't get me wrong). Moreso is the issue of financial opportunity and stability. Much of society and decent living standards today _demands_ dual income households. Permantently risking half of that dual income is terrifying.
I brought mine over from the UK for use here in Germany and just upgraded. Sadly it seems their extenders are only available with EU plugs so I'll have to send some back for my parents, they really are that hassle free that it's worth the effort.
Neat. But that 93% confidence in the "bus" is one of the things that bugs me about AI / NN.
Sort of. The literal tax bracket for earned income is progressive. But due to lower tax rates for certain other types of income, and the ability for the ultra rich to utilize the tax code to the fullest, the net effect is that the actual overall tax rates are progressive at the bottom end, and regressive at the top end.
Apparently there are a lot of crack heads in California then…

https://www.youtube.com/watch?v=Bhy3zI3wvAo
Seattle was into organizing a parking lot for derelict RVs to park in. With services, the costs came to about $8k per spot...per month. Not cheap, competitive with a tiny house in a tiny house village.
Also known as validations and business logic.

It's interesting that in web paradigm dynamic languages and low-level systems languages, defensive programming assertions of invariants are widely dismissed. Validation and sanitizing of external input is often lacking and the source of many security issues.

The problem domain is that most programming languages and application frameworks do a piss-poor job of separating and managing business logic around data storage and data mutation. MVC doesn't go nearly far enough. OTOH, there are fancy enterprisy business rule transaction systems that are divorced from most platforms.

I think the key here is standardizing formal business rules in a portable "EBNF"/"markup" manner to be language and framework agnostic while not being laborious as COBOL-like Cucumber testing.
Do they work at all on any platform? They are much less than half-baked on GCC or clang and MSVC has incomplete support.
Whoa, that's news to me. Is this called out anywhere online? I've been following tRPC a bit and it looks really great. I only wish it wasn't locked into using TypeScript on the server.

It's the dream dev experience I've been chasing. I'm trying to get as close as I can using auto-generated gRPC-Web.
If a program cannot determine when a block code starts and ends from indentation alone, then it is not correct Python; the language needs a deterministic process to determine what sequence of commands belong to the same block, otherwise it couldn't compile.

If you're talking about failing to determine blocks which are NOT correct Python, then I don't have a problem with those failing to be correctly indented under copy/paste. The vast majority of use cases would still be well served.
It actually does. If there were good cops they'd police and eject the bad cops.

You might have one or two here or there that got in, but they wouldn't last long.

Instead you see that even when bad cops are fired from their jobs, they just get hired somewhere else.
Sure but no problem domain is not going to lead you to 10,000 single line files. Similarly it will likely lead to very few 10K line files. There will likely be a way to factor things into reasonable sized chunks. File sizes are not going to be that highly coupled to problem domain as there are multiple ways to solve the same problem.
Hugging Face History
> The reality is, even knowing what to ask a lawyer can be difficult and it's not economically viable to ask a lawyer to summarize a 100-page legal document into text you can wrap your head around.

A 100 page legal document (i.e. one with lots of stuff implied by structure and lots of specific subconditions and lots of case-specific stuff that might make more sense in conjunction with the examples in the appendix) sounds like the sort of thing AI would be wrong about far more often than it was right...

At least reading a short contract or EULA I'd be pretty confident an AI-based system would have lots of similar contracts and plain English explanations in its corpus and correctly identify the boilerplate exclusions and even if it misinterpreted stuff like IP assignments and ability to modify the agreement it might be slightly better than Ctrl-F at figuring out which clauses do this. Although from what I can see the current incarnation is working on a paragraph by paragraph basis so doesn't even necessarily apply definitions defined in the section above correctly...
Think about what you're saying logically. The US is huge and the vast majority of humans do not live in those same handful of high COL cities so no, everybody's friends and family don't all live in SF/LA/NYC/Seattle. It's simple - if you want to live in San Francisco then you need to have income to support it. If you want to be able to afford a 3,000 sq. ft. house in your 20's then there are countless places you can do that, but they're not San Francisco.

This reads like people complaining that a new iPhone is $1,200 and then saying "BUT I NEED A PHONE!". Yes, you need a phone. No, you do not need the $1,200 phone. Take the blinders off, there is a whole ass world out here.
First I thought: surely there must be an obvious effective and cheap way to do this. Then I googled a bit. Now I also want to know.
I get why some people would want or need a physician, but these drugs should be offered at cost in take home form too. We let people take opioids and amphetamines at home without supervision, and for most people that's fine.
I don't know for the US, but i was a homeless student in Paris for a year, lived at my school and crashing at a new friend appartment every night or so. I know homeless student who owned cars and slept in them (the school provided showers, so that was nice). Only 1/4th of the parisian homeless are living in tents or under bridges. And for the 3/4th, rent is definitely the main factor (i mean, if the cost of a 9m² was 250€ instead of 350€ over the 3.5 years i was there, i wouldn't have been homeless at all).
Towing is why I didn't buy a Model 3 in 2018. I have no need for a larger vehicle if I can have a class II hitch. IMHO, Model 3 is a great vehicle, better than almost all other EVs, and that includes all their controversial UI decisions, but refusing to support towing was such a stupid decision it resulted in no sale.
Thank you so much for mentioning this. Their offering looks compelling and interesting.
>upper-middle class Chinese person looking to secure assets outside the purview of the authoritarian government they are forced to live under will pay a premium

I think this plays such a significant role in the motives behind the foreign investment that even if housing was going down they would still make this trade.
You could probably draw a parallel to computers. At one time, toggling in boot code using switches to get your machine running was a necessary skill. Not to mention writing your own code to get anything done. And many years after the "toggling in boot code" was a thing of the past, you still had to set jumpers and dip switches on hardware add-in cards on your computer (IRQ, I/O address, etc). Today many don't even need a keyboard on your computer (many people get by with just a tablet or phone for most / all of their computing needs).
I was struck by this note at the end.

> Of existing languages, Racket (paired with Typed Racket) probably comes closest to what I feel is the sweet spot for language design, and it may explain why I seem to pick it more than most other languages when
given a choice.

Racket is great, and I'm coming to appreciate it more as I spend my spare time with it. I didn't really start enjoying it until I stopped trying to pretend it was Python with delimiters. Expressions are fundamental to Racket in a way that goes way beyond syntax.