skysight-inc/HackerNews huggingface dataset:
You kids with your fancy websites. Our 36th anniversary is this week. My first "love" program was a Windows 3.1 application based on the cute banter we had. Hand-drawn icon! Writing text to the Windows Device Context!

In the 90's we got a dachshund, and I made a "dachshund head bouncing around the screen" app for the PalmPilot.

More recently, I made her an Alexa skill that tells you the weather at the track where this week's NASCAR race is being held, and a program that texts us when her favorite needle magnets come up on Etsy.
This is something I'm very curious about! There's a strong meme that SQL is dynamically typed, but it is very much static. ("Compile time" is "prepare time", so it feels dynamic compared to host program compilation, but the vast majority of problems are caught before query execution, and with widespread, better tooling, could be caught at host program compile time too.)

Do you call it dynamic because of the delay in getting error feedback, because the RDBMS you use is genuinely loosey-goosey with types, or for another reason?
I didn’t know who’s behind the lrb.co.uk domain.
>>>Maybe every hour and $ spent/invested = 1 share in the union. Each share = 1 vote

Heh, you should check out this story: https://www.youtube.com/watch?v=Hl5fCxw6NJY&t=621s

All it takes is one whale entering such a system to up-end it.
This is amazing, thanks for pointing me to it. I googled around for better tooling but apart from a few "playing around with golang/rust"-cli tools I didn't find anything with better UX than the abysmal shell script tooling provided with Kafka.
How I learn new Stuff as a 15 year old programmer
Personal Anecdote: I bought a nice Eames replica lounge chair _specifically_ for reading in. I don’t use my phone or watch TV in it. I think having a separate space just for a single activity makes a lot of difference.
Videos of minors dancing is by no means native to tiktok or in any way illegal. If you think those videos are socially problematic (which many do), then you need to attack the incentive structure that breeds that type of content.
Can we skip 5G already?
Most haskell programmers I know don't know or use all extensions, and do just fine without them.

I personally don't know most of them, and I've been doing haskell professionally for years now. Once in a while, I will need to do a specific thing and will google up stuff, and the thing I'll write will remain contained in a couple files, and callers won't have to know about it.

It is absolutely not a prerequisite to know all extensions to earn one's living doing Haskell, just like one doesn't have to know the JVM or the dozens of design patterns inside and out to program in Java.
In London maybe. The Beeching report made sure that as soon as you’re outside a major city you are unlikely to be connected to anywhere useful by train.
You may still have to pay tax even if you renounce your US nationality, if the IRS finds that you have renounced your nationality so that you don't have to pay taxes anymore.
caveat - multiple monitors are NOT ergonomic.

You really want one monitor, properly positioned forward of you. You should have a keyboard at the appropriate height with a wrist rest to support and angle your wrists (also make it warm - not cold plastic or metal). Your seating should allow you to sit up or slightly reclined. Your head should be balanced on top of your neck, you shouldn't be hunched or twisted.

laptops - well, let's just say NO laptop is osha approved.
I've heard something similar at folk concert but I don't know from which region of Poland it was and it's generally not stuff that people know or sing (except for folk bands, recontruction groups etc.) Maybe it was translated from a russian song.

I think the most alive folk music is the one from górale (Tatra highlanders). It's very distinctive, after 2 chords you know it's from them.
https://www.youtube.com/watch?v=-G2qaeoQ4po
https://www.youtube.com/watch?v=b7o-Mh_ang4
https://www.youtube.com/watch?v=sOCTwL14-T8

Besides górale there are a few folk songs that everybody knows and sings at campfires or on weddings or other gatherings (they are called "piosenka biesiadna" because you usually sing them when you're eating).

Examples:
https://www.youtube.com/watch?v=D1q0-bT6H7s
https://www.youtube.com/watch?v=wug2YJGqca4
https://www.youtube.com/watch?v=YjY88qmsbDg

I'm not sure they are 100% authentic folk music though, because most versions nowadays are disco-polo :)

Example of true folk song I've heard a few times in my region (on weddings or concerts): https://www.youtube.com/watch?v=4bY7J3KTx1w

It's in regional dialect that nobody really speaks anymore in daily life.

Another kind of folk music that's still alive is przyśpiewki (orchestra plays same tune and people switch and sing to diss everybody else on weddings :)). It's basically folk rap battles :)

Example: https://www.youtube.com/watch?v=mDABYBOXaAg

BTW in one Kaczmarski song there's a Russian folk song included. I always wondered if it's true folk song or something he invented. Have you ever heard it?

The inner song starts here: https://youtu.be/7cxciyZEBkE?t=151
It’s not as comfortable as a tablet or e reader by far, but it’s good for random downtime that you can’t predict if you ask me.
Maybe, but I've found that a lot of viral images are doctored in one way or another.

Here are some links to recent examples of doctored photos. I know I've seen at least the deceptive image of cops "pointing a gun at children" when they were actually not on the front page of Reddit, so it's not like manipulated images have no effect:

https://www.hackerfactor.com/blog/index.php?/archives/884-Pr...

http://hackerfactor.com/blog/index.php?/archives/891-Count-o...

That said, remember that not all alterations are digital:

https://www.hackerfactor.com/blog/index.php?/archives/590-Un...
Vertigo is old enough and lightweight enough it might work for a side project of mine, so thanks for making me aware!
That's one of the things I like about chef. You have an extensible DSL and templating but you can also write Ruby if needed.
Chinese hackers have pillaged Taiwan’s semiconductor industry
It’s hard to tell, the same could definitely have been said for insta and snapchat, but also loads of apps that didn’t make it, so it’s a bit of a crapshoot.
So, what you are saying that all these little firms did not have liability insurance?

I'm assuming that the said liability insurance that you are talking about comes with, not too many fine prints and will cover thing like lost business revenue etc.?
Thanks. Yes to both questions.
You can set it up so the one active window on each monitor is not dimmed, so if you have two or three monitors you can have two or three non-dimmed windows. You can't do anything more fine-grained than that, as far as I know. You can also toggle the dimming on or off with a global hotkey.
Shuttle failed because the question it was answering was "how can we employ engineers to help Nixon's reelection", not "how to we cheaply get to LEO".
Thanks for clarification on #1. It confirms what I was most concerned about and that was that my phone was leaking private info to Mozilla. On Linux I don't build the crash reporter, any crashes I used to backtrace and open with my distro first before moving to upstream. On mobile, Fennic had a specific option to turn off crash reporter, Fenix only has the two 'data sharing' sections.

I included the singular prior message posted the day before in my last comment on HN. I removed the part that was baseless in my second response which is what you saw.
You should give the paper a more careful read, it discusses all that.

The control group was typical use, whatever the staff chose to do, which included not using masks at all.

The use of masks in the control group was about 23%! And that included medical, N95 and possibly cloth masks as well. Whatever they would typically use.

Here is their conclusion:

"Given the obligations to HCW (Healthcare Workers) occupational health and safety, it is important to consider the potential risk of using cloth masks."
This! A printout of the Paredit reference card [1] taped near my monitor is the only way I was able to learn it.

[1] http://pub.gajendra.net/src/paredit-refcard.pdf
>1) great promises of future business if you helped them now. Business which not only never materialized, but later on as you learned from other sources, they never had any intent to work with you on.

I've heard this too many times from our existing customers too. This sounds like the "do it for exposure!" line of reasoning for artists.

>2) eager to engage your team due to their recognized expertise in solving problems, and scoping out solutions. Again, usually with a promise of working together on an RFP, or a future contract. The reality was they wanted free consulting.

We had this one customer who always called into our support line (and for some reason got ahold of my personal cell!), and every call ended up being a 2 hour-long consulting session on how to get his business set up for e-commerce and his business strategy. He's went through lots of arrogant Wordpress/website developers that I couldn't stand working with, and still hasn't had a site up after two years.

I was so relieved when he decided not to renew his service contact.
It's possible the encryption part is just Wired's editorializing and not what he intended. I might be jumping to conclusions.
5G will make Bluetooth, Wi-Fi, BLE, and NFC obsolete.
I think it’s a different usage you’re thinking of.
Presumably you’d like 10Gb everywhere, while the article and OP are presumably aiming to link a cor switch or high usage device (NAS) at 10Gb while everything else remains 1Gb.
Microsoft in talks to buy TikTok's operations in 5 Eyes countries only strikes me as strange. Why not their European operations as well?

Was this acquisition even on their roadmap before talks of a ban started making the rounds? It seems completely out of sync with the type of acquisitions MS makes, like Github or Linkedin.

What do MS shareholders have to say about forking over $30b or thereabouts to bankroll POTUS' China panic?
> SAT solving is about 95+% of SMT solving

This is theory-dependent, I would say. It is certainly true for bit-vector solvers that bit-blast for example. For other theories, however, this is not necessarily the case. Consider a simplex-based linear integer arithmetic solver for example. If there is a problem that is simple at the Boolean level, you may end up spending more time in the simplex solver.
Europe has a similar problem with farmers saying that had seen vultures (8kg) eating their 800Kg cows alive. Something that would be obviously impossible without vultures learning how to use a firearm or without finding dozens of severely hurt and dead vultures around after the battle (something that strangely, never happens).

Thus farmers can now ask for a compensation for each old cow that slips on a clift, or has a disease too expensive to treat.

Maybe Keas are enough smart to eat an alive sheep (a lamb would be much more probable), maybe once in a blue moon, but disinformation and rumour spreading for money is a global problem that biologists face.
I'm not sure but I get the feeling that Snapchat is on the decline. Their killer feature was stories but now every app has those (notably Instagram stories seem very popular).
I feel like the viability of that depends a lot on the price point of the service and the user terminal. If it's cheap enough that everyone might as well just have their own then there's no point doing infrastructure for a terrestrial backhaul.
> fixed rural wireless broadband

It’s well worth trying but WiMAX tried the same so not novel

> Try using LTE in a large city’s central train station at a busy time and see how you get on.

uh, um, I thought LTE is already at least okay as it is for Shinjuku morning/Comiket queue problem
Everything? When the topic is operability it is easily shown that a database schema that you have to change atomically and the change becomes visible to all clients instantly is very incompatible with the ideas of rolling releases, rollback safety, zero maintenance windows, etc. If you can see that centralizing the schema doesn’t work well then you can also see that the schema doesn’t belong in the database at all, it belongs in the clients where it can be rolled forward and backward safely if you never try to change a field, only add them, which is a best practice anyway.

After you’re onboard with this philosophy then I’m ready to sell you the fact that you don’t need joins, indexes, or transactions. If a giant complicated service like gmail doesn’t need any of those things then very likely that your thing doesn’t need them either.
> Most popular languages created sort of universal visual language of what things mean when they look certain way

python kind of ignored this "universal visual language", and the language seems pretty popular with newcomers.
This is assuming you're sitting in the exact same position all day long. With a laptop you don't have to assume that.
agreed the algorithm is especially geared to minors to make mini music videos that are highly sexualized
You get more than enough energy from eating sensible, healthy food. Protein doesn't just have to come from large serves of meat!

Here is how my partner and I ate for the last five months of working from home:

* Eat more veggies and salad, more beans and legumes, some fruit.

* Eat much less bread and pasta. Cut out most sugar and fruit juice.

* Make 1/3 of your dinners vegetarian, and split the other 2/3 between chicken/turkey and fish. Eat little red meat.
* Have dessert as a treat twice a week.

* Evaluate portion sizes. You probably will be perfectly happy only eating 2/3 as much for your evening meal.

* Realize that most snacking between meals is because you really want a small break from work, not because you are actually hungry.

In combination with regular running, I have never felt fitter or been in better shape.
> Unless Bill Gates really thinks that the vast majority of spread is through private messages

Which would be absolutely wrong. (Not arguing, just backing up your point.) We've seen time and time again that misinformation doesn't spread as well through back channels and niche forums as it does through public figures, media and very notorious social networks. A post on 4chan will look like a scam, a post on a Facebook group of 200,000 people will look legitimate-ish. Encryption is not the tool of misinformation, people's gullibility, money, and compromised values are.
Lol cant wait for the right wingers to use this to further their ridiculous 5G conspiracies.
HN, half Homebrew Computer Club, half "get rich quick" schemes, half California housing law discussions.
I think if you use open source stuff you will find a lot of Avro, like Debezium. Supporting both so you get best of in-house and external makes sense to me.
I'm not downvoting but

1. Implying the downfall of mainframes was due to protectionist policies and not the _PC_ is an incredible leap.

2. Comparing Japan to China in this situation is bizarre.

3. Your reply does nothing to show that this situation is:

* cartoonish

* racist

* utterly foolish protectionism

We know today that Huawei has a history of IP Theft from American multinationals[1] and is suspected of building backdoors into networking infrastructure (from the article). You seem to advocate that the US should just take this lying down. This is a classic prisoners dilemma situation, and Huawei has been choosing "betray" for 20 years. I can't see, how after 20 years of playing nice, that the US response is cartoonish, racist or foolish protectionism.

[1] https://www.prosperousamerica.org/top_five_cases_of_huawei_i...
For anyone interested in a little more context: the book has a website (including translated versions, etc.) located at https://beginners.re/

It looks like this PDF has been posted to HN a few times before, too: https://news.ycombinator.com/from?site=beginners.re

I haven't read the book, but I did download the PDF and briefly check it out. I'm not a reverse engineer by any means, but this seems like a (very) comprehensive overview. It's over 1000 pages!
> If client is a CS-ish professor (which I bump into probably more than most, since I have a fondness for some aspects/ideals of universities, and live in university neighborhoods)... Only take the client if you can find a situation close to that of a colleague of mine: works with a PI who respects him as both skilled and as a collaborator. It's not uncommon for a CS-ish professor to think they know more about practice than practitioners, and they get some (misleading, incestuous) validation from others in academia. I respect professors by default, and some are close friends, but egos and inaccurate perceptions about the world outside academia seem not-unusual.

I feel like this is much more true on the East coast. Lots of this resonates with time spent in Boston/Cambridge.
> one would think there’s endless ways to monetize a strong fun brand

YikYak, Tumblr, and Vine come to mind, and that's just social media space.

When you start free, monetizing in a way that doesn't totally destroy goodwill from your existing customers is tough.
> Disappointing to see that Bill Gates isn't concerned about the slippery slope of regulating encryption.

It's much worse than that. Over the last several years he has been increasingly arguing against encryption. People should not be charitable toward him regarding his anti-privacy, anti-encryption, pro-authoritarian position, call it what it is. He's arguing for tyranny, plain and simple.

He isn't just not concerned about the slippery slope, he's fully aware of what he is arguing for. This isn't a naive, technologically or politically oblivious person.
Author here!
This is the third chapter of Zero To Production, an in-progress book on API development with Rust.

Chapter 3 is where the actual implementation of our email newsletter project (the driving example) begins.

We take off by copy-pasting the "Hello World!" example on actix-web's website and then we pick it apart to understand what each component is doing (HttpServer, App, Route, actix_rt, etc.).
We slowly reshape it into an health check endpoint and then spend the remaining 60% or so of the article looking at how to write a black-box integration test for it.

I haven't published the entire Chapter 3 - it has been split in two parts to keep the publishing cadence (once every two weeks).
The second half will come out on August 23rd and tackle database migrations, how to check side-effects in integration tests as well as actix-web's extractors. At the end of it we should finally be able to onboard new subscribers to the newsletter via a form.

Enjoy!
Ah OK thanks for the link. Since it depends on commercial software, I don't see a path to trying it (which is fine, because I probably don't have time anyway :-/ )

So are you saying that it's more conventional to serialize relations from C++ or Python, rather than serialize an AST as I was suggesting?

Your blog post mentions ASTs too, so I'm not quite clear on that point. I don't have much experience writing such analyzers, and I'd be interested if there is any wisdom / examples on serializing ASTs vs. relations, and if the relations are at the "same level" as the AST, or a higher level of abstraction, etc.

-----

FWIW I read a bunch of the papers by Yannis because I'm interested in experiences of using high level languages in production:

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

After all the reason I like shell and R is that they're both higher level than Python or JS :)

I like short code, and Datalog seems interesting in that regard. I also hacked on this Python type inferencer in Prolog awhile ago:

https://github.com/andychu/hatlog

I did get hung up on writing simple pure functions in Prolog. There seems to be a debate over whether unification "deserves" its own first-class language, or whether it should be a library in a bigger language, and after that experience, I would lean toward the latter. I didn't really see the light in Prolog. Error messages were a problem -- for the user of the program, and for the developer of the program (me).

So while I haven't looked at Formulog yet, it definitely seems like a good idea to marry some "normal" programming conveniences with Datalog!
There have probably been man bites dog type of stories (that may also not include the whole story), but it's hard to imagine leaving a normal high school student home alone being "neglect" absent other circumstances.
I agree with you, there are dozens of us who separate commuting from car ownership, but at the same time I feel (at least in the US) the vast majority of the population don't have that separation.

(For my personal case, I have a car and drive a lot, but rarely for commuting. I usually commute by bicycle+Caltrain, and only use car for commuting when it rains, to drive to my nearest Bart station, as I really don't like to bike in the rain. Lucky for me it rarely rains in the Bay Area.)
It's here: https://news.ycombinator.com/item?id=24100491.

Normally we'd merge the threads but most comments here are responding to the narrow title of the knockoff article.
It enables much higher capacity. So theoretically it would work more like wired Internet where you are sold on Bandwidth and not on Data. ( Within Reasonable usage ) Many Countries in Europe are already doing it right now with 4G.

Technically it is more much interesting from a Carrier / Backend perspective. Where there are huge unit cost optimisation and ease of management. But for consumers it really is just a faster 4G.
10gig ethernet is bits.

100gbit ethernet does exist, but its not overly cheap. That will get you to about 10gigabytes a second. more or less.
Nationalized Local News
I think that's fair but I think the amount of people that think they're into cars is far more than the amount of people that are actually into cars.

Not trying to be a gatekeeper but if I think about myself I know I "felt social pressure" (grew up in a culture that glorifies this material item and sets an expect ion of success/fulfillment) to get a car. I guess you could argue that social pressures like this can grow naturally and I suppose I agree that they can but I don't think this one grew naturally and for some people promotes values that they may not hold.

Cars as status symbols, I think, is troubling at the scale they're at. If you enjoy to ride around or appreciate their engineering then by all means.

Even as I type this I think if you want to splurge on a Car that you will just take social media pictures with to make you feel good and show others then I think you should, more power to you, do what makes you happy.

I guess my problem is that "what makes you happy" .. "is a fancy car" (you can go in debt to get) is a message that is "loud" and unlike a house (arguably the other functional yet status symbol) is within reach of people who it isn't in their best interest to get.

I think it's a nuanced subject because as most things in life it's mixed up in all aspects of human life like financial education and personal responsibility but what I'm saying is that current "car culture" (to sweep away all the nuance) doesn't feel right to me right now and I think causes a lot of harm.
Great!

Ping me on Twitter when there would be some progress ;)

P.S.: There is already mirror of Vertigo files created by someone on GitHub today.[0]

[0] https://github.com/gspu/Vertigo-Flight-Simulator
You can attack deep learning networks?
Investing in promising people that are new to the industry - the easiest way to do this is through Twitter. I've found some amazing new developers which have great mindsets that I knew would do well in their careers, which I've capitalized on by following them early on and having regular chats with them about what they're working on, etc.

It allows you to maintain leverage in your field because once they're successful, you both already have a relationship and it becomes a lot easier to network and strike deals.

It has a huge upside with almost no risk - all it takes is a Twitter follow.