skysight-inc/HackerNews huggingface dataset:
> Canceling debt creates a taxable event for the person with the debt under the tax code.

Under the current tax code, a forgiven debt isn’t always taxable. I have represented student loan holders and had their student loans forgiven (6 figure debts), and they had no tax liability.

And if student loans were forgiven it would be through the passing of a law, and it would be pretty trivial to include a provision that would remove any tax liability from student loan forgiveness.

And if people had a $10k tax bill due immediately (which you completely made up), they would not be mad if they had $100k or $200k in loan forgiven. It’s funny how the $10k tax bill is your concern on one hand then you shift to saying it would be deeply unfair because the people with the biggest loans tend to be affluent.

Affluent people don’t have student loans because their parents pay for their school. Otherwise the people with the most amount of debt are the biggest victims of the poorly designed system intended to indebt them for their entire lives.
I see two phenomenon explained with the same cause here. One is high salaries in tech, and other is very broadly "how to be successful".

For the first one, I think it is very simply explained by offer and demand, amongst others.

For the second one, I like the Luck Surface Area [1] mental model better.

I kind of like the concept of liquidity of skills, but honestly I don't think it explains what the author claims.

[1] https://www.codusoperandi.com/posts/increasing-your-luck-sur...
I did similar in Mac Mail a few years ago: it caused an out-of-office reply to be sent to every email I’d ever sent going back years. I was surprised Mail allowed for this scenario. Needless to say, my holiday got off to a stressful start!
I used to think that too, but nowadays I prescribe more to the idea that the perception of time is more related to how many new and unique experiences you have. As a kid everything is new and exciting, but as an adult you get stuck in a routine where things just blend together.
I'm not sure about "claims to". I have misplaced my copy of the Penrose book. Hofstadter's book is humorous, despite its weight. It doesn't purport to be a canonical explanation of the theorem.

Both books are ultimately focused on the nature of consciousness, although from quite different perspectives. In both cases, the theorem is presented as one element of an argument.

It's interesting that two sophisticated writers with wildly different opinions about consciousness have both leaned on Gödel to back their arguments. There's nothing in the theorem that shouts "This is about consciousness!"
Co-Working from Your Apartment Building
Yes! We announced experimental support earlier and here's the new spec we're implementing that will support all databases and remote schemas too.

https://github.com/hasura/graphql-engine/issues/6991

General support for inherited roles is one of the things I'm most excited about because it makes a bunch of hard things around reusing and composition so easy.

This improvement plays really well along with things like "role-based schemas" so that GraphQL clients have access to just the exact GraphQL schema they should be able to access - which is in turn composed by putting multiple scopes together into one role.

Also interesting is how well this could play with other innovations on the GraphQL client ecosystem like gqless[1] and graphql-zeus[2] because now there's a typesafe and secure SDK for really smooth developer experience on the client side.

[1]: https://github.com/gqless/gqless
[2]: https://github.com/graphql-editor/graphql-zeus
This shows the importance of cultural understanding and the lack of it when western commentators look at events in China. July 1st marks the 100th anniversary of the CCP, its pretty simple. It was probably done just to make ensure stability and so that it goes by without a hitch and nobody tries anything stupid. This sort of stuff is pretty typical of them, especially near important dates.
That already works! :)

Postgres was the first database we added support for!

https://hasura.io/docs/2.0/graphql/core/databases/postgres/i...
Hope this refactor was well unit tested, because it looks to do something a lot different from the original code.
Agreed, which is why I love vue components so much
I trust the alarm on my phone to wake me up in the morning, even though it's been programmed by flawed human beings. It's possible to reach sufficient reliability despite our flaws and bugs.
EBMM sounds like somewhat skill based but with a twist. It makes sense, games where you constantly win or lose are boring. Skill based matchmaking probably doesn't work as well for games that have a lot of random elements that favor or disfavor players of the same skill level.
Ask HN: Is a modern engineering workshop feasible?
So I've had an idea for a while which may, or may not, be a thing. I'm just wanting some advice, or even some shooting down of the idea.

In the country I live, there are engineering workshops, which is mainly building custom metal items (machining, welding, etc). People (usually farmers) will request something be built.

I live in a remote but progressive community where there is quite a bit of innovation. I'm wondering if an engineering workshop focusing on things like microcontrollers, software, as well as more traditional metal work may be successful?

I suppose the target audience would be people wanting a gadget of some kind. Basically leveraging software and embedded electronics to solve local problems.

Perhaps a bit of a tangent, but it'd be nice if it could be a community workshop of kinds. Fellow nerds could contribute, and the whole operation could be opened-source to some degree.

Let me know what you think
If you like elm-similar languages, check out mint at mint-lang. It's very heavily inspired by Elm the language, but not Elm the community or project. I've been using it on side projects and love it. It doesn't compile to wasm, but it does compile to preact with web workers.
I think hasura supports this? Or do you mean native postgres users with postgres RLS? The hasura team has explained somewhere why they don‘t want to do this. IIRC it had something to do with caching and/or subscriptions.
It's actually not true. They did talk about human rights. The German embassy in China specifically released a statement on Xinjiang and how it's discussion should be based on mutual respect. It's not that the West isn't talking about human rights, it's actually that they seem to be more jealous if anything of how China does things.

Oh and if you want to check on how much a country cares about their relationship with another country all you need to do is check which diplomats send there. As an example all the ambassadors Germany sends to Taiwan are completely useless bums which are just wasting oxygen and tax payer money.
EU lifts travel ban on Americans
This is bs whataboutism. The riots in the 1960s were lead by the communists. At the same time they were busy starving their own people in the Great Leap Backwards to Starvation and Mao's latest rampage.

If we're looking at whataboutisms, what about all the dirty communist money in Australia. Million dollar houses bought by family members close to Xi? No. The British were not perfect, but the CCP is 1000000 times worse.
Came in at 8:43 PM EST,
Integration Test Email #1 with the body, “This template is used by integration tests only”
A Tired Raccoon’s Containerization Manifesto: Just Do the Containering
Everything is sabotage to the CCP. When there is flood, I'm surprised they don't try to arrest god.
An app that empowers people to solve their legal problems
that's wow .
do they also offer some discounts on non-peak hour usage ?
The general impression I get from the sudden burgeoning wokeness in the UK is that a lot of people were somehow able to reach their 20s thinking that the world was largely a Disney film. Then when they found out, maybe at university, maybe just through mainstream media, about the horrors of history, it shook them to the core.
Most of the books have been low-key attempts from programmer parents, probably to get their own children into programming. They were posted on different forums, and I have a hard time finding my way back to them.

The example that I think illustrates my point best is: http://arthur-johnston.com/hacker_writes_a_childrens_book/ (which was posted here in 2017: https://news.ycombinator.com/item?id=15879519) The book works well as entertainment for grown-up programmers: "G is for Garbage Collector/when something's no longer needed/it frees up the memory/so your program is speeded." You can look inside the book on Amazon for more examples. I judge this rhyme as too advanced for any child below 8 that I've read aloud to. Most theories about cognitive development agree with Piaget (1896–1980) in that children have a hard time grasping difficult abstract concepts before the age of 12–13, so there is at least some "scientific backing" to my hunch: https://en.wikipedia.org/wiki/Cognitive_development#Concrete... (This is only a hunch though; the children I've read aloud to are all picked from the same group – children of family and friends.)

My observation is that children seem to need _lots_ of concrete verbal and visual imagery in order to stay interested. You can also get away with more abstract themes if the actual text is lyrically well-crafted, like Dr. Seuss' books (or André Bjerke's children's rhymes in Norwegian, my mother tongue). The most successful attempts at teaching programming to children that I've seen, seem to give the children a lot of practical tasks they can work on (e.g. the Hello Ruby book series). You also have some programming elements in Minecraft that children could pick up, because the concepts are implemented as concrete objects.

All of this makes me suspect that the main audience for these "children's books" teaching programming is adults that already know a fair bit about the subject. And that's completely all right by me, because it gives the books traction and brings the book's readers entertainment.

PS: You also have the Javascript/HTML/CSS for babies series, which are only jocularly presented as children's books: https://imgur.com/eOYc8fC
I’ve only played with a a bit of ODATA but it seems quite under appreciated. I think I’ve only seen it in (some of) Microsoft’s APIs.
I disagree. Query composing is probably 70% of an ORM framework. Rest are schema generation, serialization and validation. All of which can live outside the ORM.
Lilium Details Certification Path for 7-Seater Jet
When I worked on email systems, my worst nightmare was a Sorcerers Apprentice sort of problem.
Slightly related: Anemotaxis https://www.youtube.com/watch?v=hIqmIQbQkW8
Provisions Every Student Would Need
Influenza is an RNA virus so you'll need to reverse transcribe it.
StreetComplete: Easy to use editor of OpenStreetMap data
Lua Primer for Neovim. A short blog post on Lua quirks common in init.lua files
The same site also states Xi Jinping to be in an incestuous relationship with his own daughter. This is not credible.
I'm going through this same thing this very month. I personally am responsible for architecting and building a complex data store, data pipelines, and interface. This is to be used for complex targeting based on rapidly changing data.

I am doing it by myself. I'm the architect and I'm the engineer. I'm drafting the design and building it. And I did it. By myself. Inside of a month.

At the same time, another team is working on the same thing. Dozens of people on the team. Architects and engineers and a couple of data scientists. They took three months to get their first design out and it failed during testing. Their estimate to next iteration is two more months.

My design passed all the tests but one in the first trial and I fixed the remaining bugs inside of a week.

There's a good chance that the other team is going to have their product pushed into production ahead of mine, which will negate the need for mine so my code will get pushed to some archive server and sit there gathering dust.

Same goes for the azure work that I'm doing. Again alone and without any support vs our internal IT apparatus who has infinite money and can spin up temp teams with the push of a button.

And 'round and 'round it goes.
genuinely curious: isn't the real world not yet ready for pure IPv6 ?
The X-37 began as a NASA project in 1999, before being transferred to the United States Department of Defense in 2004.

Sigh.
Facebook’s ‘Neighborhoods’ faces crowded niche market, profiling concerns
It's not clear to me how an implicit await could be implemented; a counterexample that immediately comes to mind is any of the FutureExt combinators in the futures crate. The await keyword indicates the point at which something is done, but there could be multiple points in an expression that change the resulting type in the rest of the expression!

Ex: my_fut().map(|x| x.y).then(other_async_thing)

Awaiting after my_fut or .map() produces different types for resolving the rest of the expression.

Also, I've often done things like binding a future in a scope and later awaiting it at different times (but always completing it). Making await implicit would make this impossible, unless a backdoor was kept in to indicate that you want an explicit await (which just comes down to the call site and shouldn't affect the Future implementation).

Maybe these are moot points if futures must always complete, I haven't thought through the cases enough yet. Perhaps if futures can't be cancelled then FutureExt would not be necessary, and instead of passing `Future` types (into functions and elsewhere) we'd pass around `FnOnce() -> impl Future` types, or better yet `AsyncFnOnce()` since currently `FnOnce` suffers from not being able to specify a lifetime of an argument in the returned Future (which has hindered me many times).
Spain's BBVA opens Bitcoin trading service to clients in Switzerland
Some questions if any concurrency wizards are reading:

• Do any interpreters/compilers make use of this functionality? I know D has fibers, and Java is planning on adding them.

• How does it compare against 'green threads'?

• Can't this kind of thing be done without making syscalls into the kernel?
I may be typical but it's nuts. Send your secret police to harass your critics whenever an important date is coming up.
I have dabbled with the same problem with AgoRapide which offers queries through GET (although on a much simpler level than PQL / GraphQL).

I just present the query in readable form together with the output, letting the user choose between copy / paste the URL or copy / paste the readable form.

Example:

http://arnorthwind.agorapide.com/RQ/dt/Order/WHERE%20Shipped...

will present the alternative form

Order

WHERE ShippedDate = Today

SELECT OrderId, ShippedDate, CustomerId, Customer.CompanyName, OrderDetail.Sum.Sum() AS SumOrder

together with options for choosing Yesterday, 2 days ago and so on.

See more examples at http://arnorthwind.agorapide.com/
U.S. senators propose 25% tax credit for semiconductor manufacturing
Twitter’s India woes worsen as police summon chief over viral video
A tiny SQL query composer that scales infinitely
Listening to My Screen Read
I considered Postgraphile for our company but picked Hasura. While PG has better extensibility, Hasura has a more polished unboxing experience and way lower learning curve. Time to market is crucial for us as we needed to prove our MVP.
The prince comment may be a reference to the musician Prince, who was also highly influential (not at Mile's level) and who changed styles several times.
> I almost wish meetings would have two different start times - one for people that want to do meeting prep during the meeting and one for people that do it at some other time, so that I can just join 15 minutes in when everyone is actually ready to start the meeting.

They do. Show up 15 minutes late, or bring your laptop and get work done while you wait.
It's important though to note that we know of no problem so far that a human mind can solve that couldn't be solved by a Turing Machine. Godel's incompleteness theorems may very well apply to human minds as well, and so far this seems more likely than not (though a lot of human thinking is actually inconsistent, so perhaps it falls to the other side of the incomplete/inconsistent "choice" than formal systems).
> You can write perfect code if you have the right tools and do it carefully.

And you are DJB.
I saw the same thing. I was going to upvote this link but changed my mind due to that detail. It's an interesting story, but I don't want to promote a website which uses photos without consent from the author.
> It's a very valuable company that's just taken off and for the first time in a long time gives the US an edge in the global auto industry. Shooting it in the wing now, even if it's the legal duty, gives everyone else an advantage. So blind eye it is.

Reminds me of Wirecard, which imploded one year ago. Everyone, from regulation agencies over banks to politics - including Chancellor Merkel and her advisors - wanted Wirecard to succeed at all costs. In the latest hours of Wirecard, after the "we're missing two billion euros" statement, there even was the idea to pump hundreds of millions of euros taxpayer money to prevent its collapse.
Two interesting takeaways:

> This is the beautiful thing about having a company that isn't on the stock market. Imagine you have a company that goes slower and slower every quarter, and then you confront the shareholders with the statement, that the way to solve it, is to do absolutely no new features for a quarter or two, refactor the code, learn new methodologies etc. I doubt that the shareholders would allow that. Luckily, we don't have any shareholders, and we understand the vital importance of this investment in the long run. Not only in the project, but also in our skill and knowledge, so we do better next time.

This is reassuring the notion of what I think actually matters, what the real essence is of developing a product, may that be a piece of art and entertainment (like here) or a productivity tool etc.

There are creators and there are consumers. We split them up by developers, designers, domain experts and so on, but what matters is that all the other participants, especially those who can exert power traditionally are not part of the essence and if not being careful and responsible, can easily add complexity and limitations that are entirely accidental and can even be harmful.

This reminds me of the agile manifesto, modern UX approaches and other processes that are driven by creators, but are often and very unfortunately being bent over backwards to fit into hierarchical power structures.

> TDD actually is the constant fast swithing between extending the tests and making them pass continously. So as you write tests, you write code to satisfy them basically at the same time. This allows you to instantly test what you write, and mainly use tests as specifiation of what the code should acctually do, which guides the thought process to make you think about where you are headed to, and to write code that is more structured and testable from the very beginning.

The important notion here is that TDD is not about tests and correctness, but about development. It continuously checks assumptions and explores the surrounding code, state and data until a sufficient solution is found.

If we squint a little we can see how closely related TDD with REPL Driven Development is. In essence it is the same thing and even has similar results, where the tests or REPL code can be left as an artifact for further, likely historical understanding.

We know now that neither is sufficient for a high degree of correctness, but they are certainly useful for understanding and development.
I can't get HBO max here (UK) and I got the email. I don't recall signing up for anything.

If I get a moment I might GDPR the info out of them but honestly loads of spammers have my email it's nbd.

e: Going by past emails someone decided to change their account's email to mine (which HBO was fine with, no confirmation required, hope the user can still use their account).. Don't you just love end users.
I wonder how common TDD is in game development land, especially when you’re using things like Unity or Unreal.

I feel like testing your behaviors is pretty hard, and even if you unit-test your behaviors, there’s still integration tests.

I only write games as a hobby and never use TDD, even if I’d like to, since the tooling is just either poorly documented or too slow, or both.

Usually this ends with me being frustrated with the slow development cycle and pushes me towards more unconventional methods of developing games in Javascript using Mocha to run the tests directly in the browser.
I'm using code generation to go from a super simple finance DSL to a c program which then gets compiled using clang. Could I do it without code generation? Maybe, but I get the flexibility of a dynamic language to do the DSL parsing etc.

I see it as a bit like LLVM - an intermediate stage that adds flexibility.
Sure you can and that is one of the design ideas behind Project Loom or .NET Tasks.

Have a scheduler API available that is able to take those decisions, while providing default schedulers for the most common patterns.

Just like in many design decisions, Go design team just decided not to expose the same level of power to their users.
Came here hoping they’d turned Factorio into a tool of creating tests in other codebaes. Like literal gamification of work.
There are different reasons why I’ll go through periods of prolonged gaming. The first is that I’m looking for something to unwind with - gaming can be a quiet, solo activity that lets me just tackle objectives or challenges in a fairly linear fashion. If your job involves a lot of talking in meetings all day or context switching, this can be therapeutic.

But I’ve also recognized that I will often turn to gaming when I’m not being challenged enough or fulfilled enough elsewhere. Recently I went through a year at work where I was pretty much coasting, and therefore being able to knock out several games or keep pace with friends in multiplayer titles replaced that sense of fulfillment I would normally have gotten from work that mentally stimulated me.
If your windows open outwards, windows open, no contest.

If however they open inwards like mine, open sounds good in theory... but you may end up more frustrated at idiotic flies buzztapping against the interior side of the glass time and time again, rather than flying around it and getting the hell out. Might as well keep the windows closed and accept the flies are here to stay rather than living in false hope while new ones keep buzzing in.
The response to that report said that "We have seen no evidence of successful interference in the EU Referendum."
I think it would be fine if you tracked only the flies that entered or exited through the small hole in the wall, ie not tracking the whole room just a tiny corridor.

So yes, you know the delta-fly(er) but not the number of flies.
> In the Go model, the system balances competing modules dynamically in response to unpredictable load patterns, and ensures some amount of fairness. Something which is called, no matter how deep in the call stack and no matter how many steps removed from another module, can do some computation and it doesn't severely affect the rest of the program. In particular, it doesn't cause a giant spike in latency of processing unrelated things.

There's some kind of magical thinking here. The Go runtime attempts to hide as much complexity as it can, and while it works OK most of the time, there are a lot of edge cases that the runtime doesn't handle well [1]. And implementing a runtime that handle these things automagically is a hard task, and nasty bugs ensue[2].

Also, scheduler fairness isn't related to the language itself, since Rust doesn't ship a scheduler the runtime being a third-party library.

[1]: https://github.com/golang/go/issues/36365
[2]: https://github.com/golang/go/issues/40722