skysight-inc/HackerNews huggingface dataset:
That's not been my experience. I frequently use or way and have both mypy/pyright enabled. Testing this toy function,

from typing import List, Optional

def f(x: Optional[List[int]]):
x = x or []
reveal_type(x)

mypy and pyright both show List[int] as type of x at the end and correctly drop None.
I had a C64C and sold that after I got a SMS. How I could play with those awful controllers is beyond me today (the Nintendo patented directional pad is miles ahead still today when it has expired)! As for retro dev. I think the C64 (also 16-bit memory) makes alot more sense as you can run software on real hardware!
In case you're wondering, their infrastructure expenses are around $2mil/month.

https://projects.propublica.org/nonprofits/organizations/943...
That's a different model. That's generally called staff augmentation, whereas generally the bigger consulting firms get pulled in to help the business deliver on the AI agenda (or whatever McKinsey's selling to clueless execs this year).
> If she had been using end to end crypto, it’s likely these communications would have auto deleted.

> That’s the thing about end to end: it isn’t just about a stopping surveillance in real time. It auto destructs the message.

Those two things have nothing to do with each other. Encryption neither enables nor prevents auto deletion of content.
> but you ought to negotiate the price of every jar based on various attributes of the farm where the peanuts were grown

Not comparable because while peanut butter brands may have very different characteristics, every jar from a given product line is the same. Brand X and Brand Y do have different prices, but every jar of Brand Y is identical (jar was filled from the same giant vat) and thus the same price.

People though, are all individual. Even more granular, the exact same person can be 10X to negative, depending on job environment.
The site is an aggregator of paper reviews, this review combined two papers and added relevant anecdotes not in either.

> Short summaries of recent results in empirical software engineering research
Bestline: Light self-contained readline alternative
Ask HN: Is There “Dev-Feedback as a Service”?
I'm the founder of a startup that is building cool things™ with web technologies. The dev team, including myself, is quite junior and we don't have the budget to hire a senior developer full time, yet. It would be great to get feedback on crucial design decisions and code quality from someone more experienced than I am (most senior person, but also responsible for most business tasks), even if it were only a couple of hours per week or 1-2 days per month. I went to freelancer market places (e.g. upwork), but this kind of job requires a lot of interaction with the client – in the end, it's almost teaching – and that doesn't seem to be in high demand. Are there people specialized not only in providing feedback and training to teams of junior devs, but also providing that as a service?

For what it's worth: mostly Vue, Node, Python, AWS, Docker, Postgres, Mongo (esp. migration to Postgres :D)
Yes, this.

There was a question why people want to move to Munich even though it is the most expensive city in germany.

Answer : because it is a city! Disco, cinema, stuff to do in your free time.

And more and more people are willing to sacrifice 2/3 (or more) of their income just to live in the city. (also part of the first question)

So, i dont see rent going down anytime soon.

And if there will be a recession, even more people are willing to sacrifice everything, just to move to the city.
That seems like a simplistic, even childish perspective.
You might like American Kingpin by Nick Bilton which covers the rise and fall of the Silk Road website. There's a lot of "spy stuff" that takes place both when the DEA agents get involved in the case and start stealing bitcoins themselves and cyber sleuthing (well, basically just reading, lots and lots of reading) by the IRS agent who ultimately ID'd Ross via an old username and matching it to one of his throwaway gmail addresses from a message board.

It's a fantastic read- basically a nonfiction that reads like a thriller. Also, if you're from the Bay Area you'll notice a lot of the action takes place here- their final bust happened 3 blocks away from me!
Well, that's the question that this study doesn't answer. They (of course) didn't try to infect seniors with reduced antibody response with Covid, they only studied the antibody response in the lab. So the memory cells probably weren't a factor in the lab tests...
Ask your doctor instead of HN.
Isn't this true about anything one uses a lot?

This year, many new 4k/120Hz monitor are being released, which is a good news:

- Aorus M28U

- Aorus FI32U

- ROG PG32UQX (and the PG32UQ)

And maybe more.
Yeah I mean it's not zero, but there's a lot of capital going into a thing that's not employing _that many people_, even beyond the value judgements around that.

Granted, maybe "real estate" here also means construction (which has its issues but I mean, people are building stuff). But I'm imagining more the "let me invest in buildings and make money off of it"-style industries.
The huge stumbling block I ran into when I proposed looking into home automation with my wife was that we had very different ideas of what the "right" thing to do in any given situation was. The combination of lights she wants to have on when in a room are very different from the ones I want to have on, for example. So unless there was face recognition so the room knew who was there, it would never automatically do the right thing.

Also anything that involved having to use an app to do anything was a very hard No.
I'm looking into 2-3 wireless cameras and some movement trigger sensor for home security. Besides security, we are getting a dog and I want to see what she is doing when we are away.
If anyone has good ideas, links to equipment they used, or just want to share their experience with HASS in regards to home security, it will be appreciated. Link to some good project is also great :)
(I only played with is and connected few sensors I made with ESP32s)
I wonder whether etherium finally moving to proof of stake will actually have an impact on gpu prices.
I'd just repeat the dot/full-stop, since I'm of the "opinion" that the functionality should take precedent over looks.

Also, I think I will be adopting the double spacing after a sentence.
I work at Plaid and I agree that using Plaid just for getting an ACH and routing number leaves a lot of value on the table. You're getting more than an ACH number and and routing number though -- you're also getting proof that the person can log in to the bank account associated with that account/routing number combo, which is really helpful for fraud reduction -- fraud in online payments is a huge problem and part of the reason many of our customers use us. (You also get, if you want it, a token that you can use directly with Stripe, Dwolla, etc. to do the funds transfer.) Another popular use case is to use the Plaid Auth API for ACH and routing number, but then also use the Plaid Identity API (again, for fraud reduction) and/or the Balance API (to help make sure that the payment won't bounce).
Kamala Harris had a lot to do with it.

https://reason.com/video/2020/08/20/kamala-harris-dishonest-...

"She would go on to spread misinformation about the site and its co-founders, Michael Lacey and James Larkin, and she co-filed criminal charges that were quickly dismissed but succeeded at garnering headlines and photo ops that raised her political profile. In reality, Backpage.com had become a powerful tool for law enforcement to help catch sex traffickers because of the cooperation and commitment of the site's founders to that cause, whom Harris and many other states' attorneys general had painted as villains."
Really? In germany they expect prices to go up until 2030 and then stagnate! Not go down! Stagnate!
Home page of this glossary: http://www.chem.ucla.edu/~harding/IGOC/IGOC.html
I have a renovation in progress in Amsterdam, and the cost increase is coming from the 40% increase in the price of structural steel (rebar and shell for pilings). Maybe I'll get a break on lumber prices, but I doubt it.
> there's been a ton of breaking changes since. Basically a major redesign of everything

That's exactly why I stopped using it. I used it for five years and witnessed tons of features introduced then dropped and re-architectures for no other reason than the devs got bored with something. One example is dropping support for Python 3.7 earlier this year when 3.7's not EOL for another two years.
Maintainability is of little concern for this project.
Also missing:

Sir David Omand, 'How Spies Think : Ten Lessons in Intelligence', March 2021

About the systematic process for analysis (evaluation of sources, bayesian reasoning, pitfalls), exported to general decision making. Rich with references to well known actual cases (Falklands war, Yugoslav wars, Prague Spring etc) used to provide insights and explanations.
> Respond to the message in context. Even if you still fail to understand them, are you arguing that those messages are ambiguous enough to allow for the interpretation that I could have been talking about completely abandoning the use of a static site generator and "writing HTML directly", as you were originally saying?

Ok, let's get down to brass tacks.

The post you originally responded to was:

> Oh interesting, that's a Rust-based SSG. Definitely something nice about a single binary and not needing a full language runtime installed.

That's someone stating that it's nice not needing anything outside of a rust binary, some reading, and of course, as you state, a browser for reading the resulting site.

You then responded with, verbatim:

> Well, one program to generate the site, and then an implicit assumption that you'll use another program (your Web browser) at some point to verify the output.

> If you're into cutting out prereqs when you can, why not cut out one more?

You are suggesting cutting out one more. For all the text you have written, you have not really stated which of those to cut out, and what to replace it with. Is there a product or project you can recommend?

> If I had to bet a month of warm showers on it, I'd go with my suspicion that guard rails on your thoughts are the source of confusion here, and not that I failed in any identifiable way to state exactly what I'm talking about.

You can either blame everyone else for not getting you, or imagine a scenario where your thoughts to you make complete sense, but when translating that to writing, some steps are ignored and you're being downvoted because the suggestions either doesn't contribute anything (as it's written, which is the correct reason to downvote something), or sounds dismissive/rude to the comment you were replying to (equally likely reason why you were getting downvoted).

You're arguing with me to change something about my interpretation, despite me having spent likely 10 times more effort on it than any other person on here did with your comment.

But hey, I might be wrong, maybe I'm too stupid to get it. I have no power over how you communicate. I have tried making myself very clear many times over, and I assume you have too. But obviously we're not understanding eachother.

Good luck in all your future endeavours. You win whatever it is you wanted to win.
It's been more than a year since I catched what I believe was light covid and periodical tests show my antibodies count never falls and even grows slightly, keeping on the level slightly above what people get after vaccines.
I am unaffiliated irregular customer They have great hardware, but I prefer rinning OpenWRT on their hardware.
Yes I meant freelance consulting. People working at big consulting firms are just employees.
Just tried a simple Quarkus app (https://github.com/derkoe/quarkus-htmx-todos) with the same results. Java 17 starts around 10% faster. Memory consumption is around 10% lower (after first request).
Chrome does conditional breakpoints - just edit the breakpoint and type your condition in - but it massively slows down the page of that code gets hit a lot.

So much so that I prefer to put the condition in my local build as source code then put a normal breakpoint on that after it has rebuilt (a few millseconds with a good watcher)
SMS wires each button to a seperate pin on the connector in a variant on the Atari style controller port. Megadrive has a Master System backwards compatability mode (and the same 9 pin port), so its controller ports are going to be similar 8 bit IO ports. It adds extra buttons using a spare line as a select / multiplex output and reading the input lines multiple times.

Nintendo used shift regiters in its controllers, and the SNES does use a 16 bit shift register, but some of the bits are unused (4 extra buttons deemed sufficient it seems).
> And Tesla has basically already solved the fire problem

Have they? So why did a Tesla Model S Plaid (a new car) catch fire while being driven just a few months ago?

https://www.theverge.com/platform/amp/2021/7/2/22560662/tesl...
No, those people will move to a new coin
I tried to use this a few years ago but found the tooling inadequate for my use case. It wasn’t supported well enough across the various libraries involved in ingestion, storage and web client rendering. I’d love to hear from anyone using Hierarchical Triangular Mesh in the wild to learn more about how they made it work.
Exactly this.

There is a much bigger use-case for NFTs and tokenisation than just buying and selling JPGs.
I spent the better part of a summer internship scrubbing vacuum chambers with nasty solvents at SSL. They were in the process of retrofitting their testing chambers, but something in the new equipment was off-gassing. After a lot of trial and error (and scrubbing) we narrowed it down to the spacers on the new thermal equipment. Wasn't quite how I had hoped that summer would have went, but was interesting none the less.
I kind of disagree. I think you found category theory rewarding precisely because you already had a math background and could benefit from seeing the linkages. Without having already done the classes you did, it would be very difficult to motivate category theory and it's liable to just make students' eyes glaze over. For example, most of Riehl's examples wouldn't make sense.

I also think that abstract algebra, linear algebra, analysis, geometry etc. even at the undergraduate level have the majority of their theorems unprovable from category theory alone.

Category theory is good for proving that the trivial is truly trivial, but the nontrivial still remains.

> Math programs should probably also start teaching Haskell or Coq in the first or second year.

I also disagree. For all the distrust many programmers have of Haskell and its "mathiness" it actually has rather little to do with mathematics and the parts that it does have to do with mathematics are generally in ways mostly irrelevant for the classical undergraduate math curriculum.

As for formal theorem provers such as Coq, though one day they may become standard mathematical rigor, that day is not now. They remain very unergonomic compared to the usual informal, but rigorous proofs in pure mathematics and often have several orders of magnitude more time to arrive at the same proof with no real increase in mathematical insight. I am personally very excited by them, but view their current status as far too premature to include in the average undergraduate mathematical curriculum.
why pay more taxes when there's no accountability and responsibility regarding spending? spending needs to get under control before raising taxes is even a thing.
I doubt that the professors and researchers are clueless, but I'm not so sure about the people writing articles based on this research. And even these people might not be clueless, they might simply be willing to sacrifice accuracy to get a better headline...
> "Oh, you built the company? Well uh... you're still just a senior engineer."

This is a key message. Unless you have a contract that says something else in writing, don't expect anything else from sacrificing at an early startup.
(I'm also part of Deuxfleurs)

With Garage, we are trying to eschew the need for a VPS, or at least provide on-premise failovers for individuals and tiny organisations.

Our argument, as stated by OP, is that domestic connections are now powerful enough to release the load on datacenters. We deem it more ecological and empowering to plug-in an old computer to your home box.
Antibody remembrance comes from memory cells isnt it? I may be wrong.
This reads a lot like a lean/MVP manifesto. I would say that there is always a pressure to deliver working code, but that “unfinished” should always be in terms of project scope and not in terms of either functionality or reliability. “Code” is the wrong terminology here.

It’s OK to not have every feature implemented. But it’s not OK to ship half-baked, untested functionality, no matter what the “code” looks like.
I'm a freelancer based in Germany, been a freelancer for a long time (20+ years). Worked on a LOT of different projects in several (European) countries, as developer/architect/tech lead - whatever the client need was.

Since my relocation to Germany, I decided to try the "no-tech-interview approach": does a client wants to work with me? Let's talk, for hours if needed, let's meet in person, whatever is required to make both parties confortable with each other.

I'm more than happy to answer questions about my previous projects, how did I work on a specific solution or technology, which mistakes I made.

But no technical interviews (as in whiteboard coding, riddles, take-home assignements). I have 25 years experience, I have references, I have code on github in several programming languages, I wrote a technical book.

This approach has been working so far. Some clients still insist on doing a coding challenge or a classical technical interview: I politely decline and move on. There is no shortage of contracts, so I have always some lead in the pipeline. I would say that 50% of the leads are from me being recommended by people I worked in the past: this is obviously the value added of having lots of contracts under the belt.
If I feel that my experience would not be a good fit for the project, and there is not enough time for a ramp-up, I would also decline.

I do realize that this no-tech-interview approach would probably never work for permanent positions, especially when it comes to hire junior developers. Having said that, I strongly believe that the most valuable asset for a team is a decent person.

Very few teams work on hard-problems, requiring super-specialized knowlege (say, AI for self-driving vehicles). The majority of technical skills can be learned, if one has the passion, willingness and humbleness to learn (and the employer wants to invest in the team - which, sadly, is often not the case).
Those have nothing to do with each other: Germany indeed has a company level corruption problem (especially in combination with the conservative party), but pretty low corruption at the citizen level, i.e. where vehicle inspections happen.
One solution is to build all features as equal privileges = user generated content. It benefits everyone in the long run! I spent 20 years building new user handling before I finally settled on the solution used by my own database: http://root.rupy.se (see User.java for details) it uses https://datatracker.ietf.org/doc/html/rfc2289 for security.
Find another Bolt owner outside a few blocks away and swap garages with them.
You park in theirs, and they park in yours.
This is probably also down to your character. When I was working as a consultant for a big SaaS company I felt like the occupation really attracts a certain type of overly confident people who also like the attention. I'm 100% sure that everybody there had these blank spots in their knowledge which would potentially result in feeling stressed or dishonest when talking to the customer. Some people are just better selling their blank spots.
I'm not sure if it's OpenAPI generated but the AWS python sdk (boto3 bindings) is clearly generated in some way. I quite like it, because it's highly consistent so i always know what to expect. Unfortunately it's not typed either.
I remember this vividly, watched it on my NeXT. I found it highly amusing to later find Quentin doing VNC (and later DisplayLink), and follow his blog to this day.
> And the pay differential is atrocious.

I'm quite simple with this. I simply work less and lie about it. Unless I feel passionate, but then I don't view it as work. With that said, I do tell them upfront that I kind of work this way (I always say in interviews: pay me fairly and I'll treat you fairly, here's what I consider to be a fair wage. If they then lowball me and I accept because I happen to need the money, mayhem ensues. So far, 25% of the companies have met my salary requirements easily, all non-FAANG and local). Remote work helps with getting away with this.

You get what you pay for one way or another. If I happen to get fired, so be it. I might want to consider switching careers then.
It's not that way everywhere in the U.S. It's mostly cities and varies from one county to the next. It can be anywhere from extremely strict all the way to zero regulation whatsoever.
Because it's far from basic stuff when you have to consider stability guarantees.
Could you elaborate on the high prices?

I have a friend who plans on building a container house, and who is convinced that it will be much cheaper than a traditional house. Note that we live in Europe, where homes are build from stone and concrete, not wood and cardboard.
Greg Kroah-Hartman – How Linux Changed the Corporate Landscape
Where Are IPv3 and IPv5?
Of course there's a lot of people who would prefer to ignore laws. That doesn't make GDPR an especially bad one.
> What is the longevity of something written in Javascript.

I wrote some JavaScript in the late 90s which is still being used as part of a complex financial services value chain.

The idea that computing was better in the past is indeed silly, and completely ignores all the advances in understanding that have been made in the last many decades.

If your opinion is different, I can assure you that's due to ignorance.
It's so insane. My 5-year old GTX 1060 (320€) is still better than a new gtx 1650 for 250€. Right now there is no direction to upgrade my system except for byuing an apu, but since my 1060 is way faster this doesn't make sence unless i want to get rid of my gpu to get a smaller case (e.g. X300)
> Low interest rates don't increase inflation do they

Decrease in interest rate increases money supply (increase in lending -> new deposits).
To be clear : first, this is only a theory from a YouTuber

I did not bother to provide it as a source, because I just found the theory entertaining, and at the same time more realistic than "we're permanently on the verge of ww3 because of a small country with nothing more than nuisance power"

I tend to agree with you that a unilateral attack on NK would cause a terrible reaction from China ; the point of the PAA theory is that such an attack would never occur, until China, for some reason, has drop support to the NK régime ('Big countries dropping support on some protege' does not look like an impossible occurrence - I'm pretty sure there are précedents.)

The NK situation is one of the many that will not be solved on a social network.
These are both great!
You are either a troll or don't have a family. If you do have a family i feel sorry for them.

Life is not just about work.
If that’s actually true there will be one player to rule them all. Tesla essentially been selling same car for a decade.
> My strongest belief is that America needs an economic shock therapy...

There is a strand of thinking that turns up sometimes, something like "they will realise their choices are making things worse, then make different choices!". I have not seen that work out well very often. People usually persist in their mistakes with little heed for the results.

The correct approach is almost always to move directly in a better direction.