skysight-inc/HackerNews huggingface dataset:
Unity has gone far beyond cross compilation of C# to C++ now. Their Burst compiler is capable of compiling C# straight to assembly with vectorization optimizations. They’ve even ported core C++ components of the engine into bursted C# because the resulting code is faster and a quarter of the size. It’s impressive stuff.
How would an automated system actually deal with that scenario?
Yes they have. In Firefox, look for network.http.redirect-limit in about:config.
This is very nice. I wonder if all the examples from SICP will run in Hy?

The tutorial is very well written and show all the language features: http://docs.hylang.org/en/stable/tutorial.html

Funny quote from the quickstart:

#! /usr/bin/env hy
(print "I was going to code in Python syntax, but then I got Hy.")
It's a weird artefact of several layers of sports politics.

The World Bridge Federation is an IOC recognised sports federation, which requires them to follow World Anti-Doping Agency rules. The decision to seek IOC recognition was partly motivated by the (somewhat vain) hope of becoming an Olympic sport, but it's also partly financial because IOC recognition attracts a significant level of funding.

The WADA list of prohibited substances and methods is somewhat eccentric and clearly influenced by political concerns rather than pure science. Psychoactive cannabinoids are prohibited despite no clear evidence of performance enhancement, caffeine isn't prohibited despite clear evidence of performance enhancement and beta-blockers are only prohibited in specific sports.

The competitor in question would be permitted to use the substances in question if prescribed by a doctor for the treatment of a recognised medical condition, but he would be required to apply for a Therapeutic Use Exemption within five days of an adverse analytical finding (a failed drugs test); it is understandable that the competitor may have been entirely oblivious to his obligations under the WADA code.
No unfortunately, I’ve not needed that, since my native development environment is Mac and I need cross compile the other way round. I don’t see why it should not work theoretically, but my interpretation is that Apple’s licenses for Cocoa / iOS do not allow that.
No one cares about eachother.

Spending your time in front of a computer is the best way to end up depending on someone like this.
Wasnt rackspace one of the "woke" companies censoring people for what they hosted

Another Go woke, go broke story
From https://en.wikipedia.org/wiki/Chromatin:

> Chromatin is a complex of DNA, RNA, and protein found in eukaryotic cells. Its primary function is packaging very long DNA molecules into a more compact, denser shape, which prevents the strands from becoming tangled and plays important roles in reinforcing the DNA during cell division, preventing DNA damage, and regulating gene expression and DNA replication.

I wonder if it's possible to visualize how Chromatin works from the DNA paper tape?
My personal favorite creepy "kids promoting a toy" video is the Kazoo Kid from 1989, [0] which has been in turn used as the basis for hilarious mocking remixes. [1] The Kazoo Kid has grown up and was evidently unharmed by the exploitation of his innocent charm to sell toys. [2]

[0] https://m.youtube.com/watch?v=cRpdIrq7Rbo

[1] https://m.youtube.com/watch?v=g-sgw9bPV4A

[2] https://m.youtube.com/watch?v=wzkIboOqN8Q
For weird technical reasons I believe the FCC isn't able to regulate internet video content per se?
it's bad if a company wants to expand its customer base while potential new customers are instead buying cheaper products from competitors
Show HN: anonymous SMS with physical numbers and Zcoin
Another data point that shows what we all know. Daily exercise is good for you. HIIT is an effective way to exercise, and appears to provide additional benefits.
This is not entirely true. Hibernate/JPA has lots to dislike but it does have constructs for different databases and while it’s not a snap to change db’s It’s not even that bad. We did a recent change on a fairly large application and it took us 3 weeks. 1 week dev and 2 week testing.
git diff -C can show rearrangements and renames.
Traffic reporter video of crash scene, no gore, but gives clearest picture of crash area and distance car traveled after collision.[1]

I own a TM3, I do not have FSD features but those were not involved in this crash. I do know enhanced autopilot doesn't seem to do a good job with tracking certain objects, especially stationary objects in the path of travel. While a truck would not be stationary I really do not see any excuse for not seeing one. At minimum two cameras had eyes on it. One of my favorite, what does it see videos [2]

[1] https://youtu.be/X8HSsQ_KJFI

[2] https://youtu.be/bImNNpB35eE
Get a 10% raise. At 50 you’re at $1.7M/yr. You save 0.8M that year, spend 900k—including paying off your kids’ education. Assuming 5% returns, your savings tick over to $11118263.51.

But you’re right that it’s not pretending you only got 5% raises.
Ask HN: What Is Your Goal?
I am not good at setting goals. And I feel that it is melancholic. What are the goals you are feeling uplifting?
Same here. This is so powerful. I absolutely love python, but this is one thing it doesn't allow. On the other when working in say Rust, I can express my thought in a line or 2 straight from brain to keyboard without having to care about any formatting, hit autoformatter and also typically get an immediate feedback about basic syntax.

When writing in a language that can be auto formatted, it is a huge cognitive overload removed from my shoulders, like having a copilot.
I guess you could think maybe he went to India for some off the books risky surgery for his Crohn's and died on the table. Not sure if that's less believable than the theory he's still alive though.
Wouldn't Kotlin or Dart be a better replacement for Java?
I am not disputing the benefit of daily exercise, but the sample size seemed awfully small.
That’s a great example of a safety practice that nets out unsafe: better to ask why the altimeter requires setting and the plane can be started without it!
Uh, you should always think twice, the grass isn't always better on the other side and you know nothing more about his/her circumstances.
I suspect Carpeles made a deal with a group in Japan who are keeping him safe for some exorbitant sum of money.
Sales. What I hear from friends in big co's is that the decision to use Oracle is made on the golf course and not in engineering. Engineering is actively moving to the other technologies, and eventually the companies will stop paying for Oracle because it is no longer in use.
Here, you can just disassemble the binary and it will be more readable than the code.
You forgot to mention the permutation of companies "wanting" 2), but using the search strategy optimized for 1) approach due to:

- poor HR communication

- poor ability of hiring managers to know what the job entails

- hiring managers past experience hiring primarily for 1), but assuming projects that now need 2)
He's been pushing it for a decade. Though there seems to be more articles here that are anti than pro (though both exist).
中 is literally the word for middle or center, by itself it does not refer to the country. The term used to refer to national identity is 中华, which is the phrase used in China's official name. I'm confounded by how you could make such a bad mistake and still speak so confidently of Chinese racial relations. Imagine someone claiming the English term for British is simply the letter "U" and then going on to describe gentrification in Detroit.

>The phrase has existed for a very long time and it is an idea that people treat "seriously" like you see it in officially sanctioned writing

Complete non sequitur. The existance of a term for something does not mean that it's supported. If you actually read some of these "sanctioned writing"s you'd realize that the term is referred to in a negative sense in the same way the word gentrification is used. In fact it's mainly used in a historical context.
In theory, the same way as a policeman - assessing the situation and the context, and then making a decision not to issue the fine.

But in practice, I don't think it can, without having total surveillance capabilities - not to mention essentially sci-fi quantities of AI advancement.
Ferrari F8 Tributo 2020 alternative 488 GTB car fast
Wanna Federate the Web? Stop Using Silos for Signing In
which is so odd to me, I use DB2, in that our AIX/Oracle teams have many people working as "DBA" but on our DB2 iSeries there are two of us and our data sets are as large. The difference is there are so many things that the iSeries does automatically that it makes being a DBA a breeze.

I really need to get an understanding of the issues the Orcale team faces one day but they tend to look down on us and the pc groups
Sure, I can respect that opinion. Spending $30,000 on a shiny rock is irrational, I fully admit it :)
I read that as Invotion at first, and had horrible flashbacks to working at Hosting.com's former parent company, Invotion. ( https://www.bizjournals.com/louisville/stories/2004/07/26/st... ).

Back then Invotion/HDC was kind of shitshow, so I left and spent a couple years at Rackspace...
For agglutinative languages, would it it like ...

throttler forthesuppression offastdownvotes

... or ...

forthesuppressionoffastdownvotesthrottler

... or ...

fastdownvotesuppressionthrottler

???
Right but they don't have to run Oracle Java. I didn't say red flag any Java, I said red flag Oracle Java. So in the end I think we agree?
Have you tried any Python autoformatters? `autopep8`, `yapf`, and `Black` come to mind.
It's a controversial topic and this is a new account. I know it's against the guidelines but I seriously believe that the intellectual rigor commentors on this site hold themselves to has gone down recently. So many unsubstantiated claims without anyone calling them out.
As an interviewer I'd prefer a whiteboard and an open discussion. With a computer I have to deal with pedantic reality instead of discussing the concepts or approach. You also need a projector or a large screen if it's more than one other person in the room.

At one interview I was given a coding test (this was alone and timed). I was put into a separate room and pointed to a computer. It was a Windows box and Notepad.exe was the only thing I saw. I may have found Nodepad++, but I'm pretty sure it didn't have a Python interpreter. I hadn't used a Windows box in 10 years and my preferred environment is Vim. After the test they pulled me into a different room with the interviewers and discussed the code. This test was terrible for multiple reasons. I was asked to interview by a senior person who was working there who admitted that part of the process sucked and was pushing to improve it.

Even at large places that invest heavily in hiring, I don't see them developing/maintaining a test candidate environment, they're not likely going to hand you someone else's account in a production environment, and if they have a generic PC with a guest account, things are going to be missing or out of date. It'd be preferable for me to bring in my own laptop (but that discriminates against people with desktops or who don't have home computers).
I left the MS ecosystem years ago and still miss MSSQL. The full toolset was (is?) very powerful and developer friendly.

I know there are some free tools, but for me nothing out there compares to Adobe Lightroom.

IMO, none of those companies are in the same ballpark as Oracle.
Exactly. With a causal model (which can be validated independently) you have a principled reason for choosing which variables to control for.
I understand wanting to know more details. But having gone through rituals around death of someone close myself, it doesn't ease any of the pain.

I've also wondered about those families attending the execution of the person who murdered their loved one. I doubt it eases their pain and suffering in the slightest.
He’s wrong about Bitcoin? Not a lot of evidence to support that theory at the moment.
I dont know of such a plugin. But Im working on a editor that doesn't allow you to edit indentation.
The trickiest part is for the editor to know which parts of the file it should touch when you for example insert a code block bracket. And should the diff in SCM now include the whole block, or just the lines where you inserted { and }. And also languages like Python where white space matters.
Isn't it better now, since they arrive at the maternity ward sooner?
Feds investigate why a Tesla crashed into a truck Friday, killing driver
The Ant and the Rubber Band
Thanks! Do you know where are your spending the most?
> Also curious, what made you decide not to use PostgreSQL (or EnterpriseDB if you need entreprise solution)?

Keep in mind that MSSQL enterprise comes with a lot of tools beyond just a RDBMS. That was always the hangup when I have tried to move companies from MSSQL to something like PG.
I'm an F# coder in a company of C# "dark matter developers". (Thanks for that term!) There's no ecosystem I'd prefer to be working in than .NET.
Why was the conditional expression in the C++ code converted to an if statement in the C# code? C# has conditional expressions.
I added EditorConfig to a project recently, and was super disappointed with the scarcity of things I could actually configure. I thought there would be many, many config settings. But I was wrong -- there are only eight (https://github.com/editorconfig/editorconfig/wiki/EditorConf...), with one of them listed as "
Supported By A Limited Number of Editors", and the editor I was using (Intellij) is listed as supporting it, but does not.

I wanted to configure a lot of things, like "braces at the end of the line, not a new line by itself", or "always use braces, even in a single-statement branch", or even "one space after 'if' before the paren".

None of these are configurable with EditorConfig. It's pretty disappointing.
You wonder won crypto hasn’t caught o
The paper's authors have the best of intentions, but to me race-aware algorithms programed for social justice sounds completely dystopian.

If a black man and a white man rob a bank together, is it fair that they receive the same sentence? Or is it fair that a sentencing algorithm give the black man probation and send the white man to jail to correct for disparate outcomes based on race?
and they are fairly easy to construct to there are only 167 cartoons and 275 quotes. The first number in url is the cartoon id the second is the quote id.
HTTP2 solves the loading multiple dependencies in parallel part of the equation, but as far as I can see, the browser would still have to download each dependency before they can resolve their transitive dependencies, so wouldn't this suffer latency issues due to requiring as many sequential client-server roundtrips as the max depth of your dependency tree?

SystemJS & JSPM has been around for quite a while now, and the goals are similar to this project (to enable loading of any NPM dependency as native ES modules in the browser). They solve the roundtrip problem using an import map that's generated by JSPM to pre-resolve all transitive dependencies, so they can be loaded by the browser up front with maximum parallelism.

However, this project specifically calls out the lack of a need for an import map in its description as an advantage, so I'm wondering if they have some alternative solution to this problem.

Also somewhat related: the project maintainers for SystemJS and JSPM also provide a CDN at https://jspm.io/ serving jspm packaged ES modules for all npm packages, so you can load them as native ES modules with a module script tag or native dynamic import() call in supported browsers. But they specifically mention that this CDN is meant for quick prototyping/experimentation, and not suitable for production use due to latency issues, and recommend bundling workflows for production.

I've been following the SystemJS and JSPM projects for quite a while now, and I feel it's a much better solution for module loading than webpack and the likes that hack together their own non-interoperable proprietary module loader rather than supporting and advancing the official ES module loading standard. But unfortunately that's where the community is at, and SystemJS and JSPM has never been able to reach that critical mass of essential dev tooling that webpack & others have enjoyed for quite some time (the major road block I ran into the last time I tried it was the lack of a good hot module replacement story for development targeting the latest SystemJS 2.0 environment).
I like the idea of federated identity management. I hope trends swing back from massive centralized services to more decentralized services as in the earlier days of the internet.
Shapiro! I'm actually in Advanced Symbolic Logic (PHILOS 5500) this semester and he happens to be teaching it. Talk about Hacker News serendipity.

Tennant isn't my advisor, but I've taken a handful of classes with him, and his "holistic" (that's the best descriptor I can come up with atm) approach to teaching logic and philosophy of science makes everything fall into place in my head. His pleasant, informal teaching style combined with a skill for connecting big ideas across disciplines is seriously pedagogical magic.

And I'm currently a senior, hoping to wrap everything up by this summer. :)
When oracle corrupts data, you have to google magic incantations and type them in console. I did that many times. But what I never understood is why do I have to do so in the first place, why Oracle does not self-heal itself.
Active-Active clustering also know as Oracle RAC.
Why would they risk it? Even if the risk was a 0.001% chance, the cost of losing that bet is infinitely higher than keeping their mouths shut. There is no upside for a military to disclose that information. It's all risk, with no benefit. Militaries aren't people, they're political organizations with lots of secrets that need keeping.
When cars mostly get their power from batteries how will that power be generated? Hopefully it won’t be from burning oil but it has to come from somewhere right?
Net win is the key word here. These systems are designed to improve safety, which is a pretty low bar, and should not be marketed to the contrary. NCAP standards read like they were written by the manufacturers themselves, to be able to pass in easy conditions.
From Jon Kleinberg also, I highly watching his recommend his presentation [1] on the inherent trade-offs when trying to achieve algorithmic fairness.

It's a little more technical than this paper, and presents very well why removing discrimination in algorithmic decision making is a complex task.

[1] https://www.youtube.com/watch?v=4X3Z7FPwkA8
I fixed the technicality in the latest version of the Gist. Interestingly, Clang doesn't seem to have any problems with the original code.
My favorite bit from this:

"You might ask, “Why would someone write code in a grotesque
language that exposes raw memory addresses? Why not use
a modern language with garbage collection and functional
programming and free massages after lunch?” Here’s the
answer: Pointers are real. They’re what the hardware understands. Somebody has to deal with them. You can’t just place
a LISP book on top of an x86 chip and hope that the hardware
learns about lambda calculus by osmosis. Denying the existence of pointers is like living in ancient Greece and denying
the existence of Krackens and then being confused about why
none of your ships ever make it to Morocco, or Ur-Morocco,
or whatever Morocco was called back then. Pointers are like
Krackens—real, living things that must be dealt with so that
polite society can exist."
Surely you're not implying that there should be some sort of ... regulation or authority governing financial transactions at that scale?
Location: Amsterdam, Milan
Remote: Yes

Willing to relocate: Yes

Technologies: Python (incl. Numpy, Scikit-Learn, Tensorflow), SQL, Clojure, Typescript

Resume/CV: http://titton.netlify.com/cv.pdf

Email: andreatitton96@gmail.com
Github: https://gist.github.com/NoFishLikeIan

I'm a graduate in Economics and Finance but have been working as a data scientist for a year now. I have developed backend and frontend solutions for data analysis and data visualisations in Python, C++, Typescript and Clojure. I am now interest in relocating and finding a new position to move from junior to mid.
The flower that blooms every 12 years
it still pollutes the git blame, doesn't help with web views of code repos and causes more merge/rebase conflicts.

the sorting causes more problems than its very questionable worth.
> First parties like Google and Facebook should be subject to the same rules.

I think we need a step before even reaching Google/FB: The ISP/cellular provider, and whatever the DNS provider is.
Note that this paper is arguing for race-aware algorithms, not removing discrimination.

If I'm understanding the authors correctly, they're saying that blind algorithms don't have equal outcomes by race -- so they're reintroducing race to the algorithms so they can adjust for disparate outcomes.

Basically they're arguing for affirmative action algorithms.
Could you elaborate on what are missing parts in other ecosystems than .net/c#
I don't see why there's a theorem required here. Let our formal system be effectively axiomatized. Then by definition its axioms are a recursive set. So I can just check a proof by starting at the top and verifying that every line is either an axiom or follows from a line above via an inference rule. Both of these two checks are recursive. Hence, proof checking is recursive.

Also, the Wikipedia article doesn't say that Craig's Theorem proves recursively enumerable axiomatizations equivalent to (primitive) recursive axiomatizations. I would find it very surprising if this was a consequence. It only says that a recursively enumerable set of formulas (e.g. the provable sentences in Peano arithmetic, not merely its axioms) can be given a (primitive) recursive axiomatization. That's a very much weaker claim.
Healthier, happier, and have more offspring[1], which invalidates some sibling comments.

[1]: http://www.sciencemag.org/news/2018/10/male-gorillas-who-bab...
...but causes do have effects.
My favorite part is that you get a totally different dungeon each time you run it. It really is a working procedural generator, and not something more like a demo that only produces a single carefully selected result.
Teen Becomes First Hacker to Earn $1M Through Bug Bounties
What really surprises me that it is legal to collect and resell personal data in USA. This might be benefecial for companies or scammers, but definitely not for common people.
Git has a mechanism for getting the root repo directory - `git rev-parse --show-toplevel`
40000-Year-Old Symbols Found in Caves Worldwide May Be Earliest Written Language
Aah.. Oracle! The company that, when researchers benchmarked it against other DBs and found it dead slow, they made benchmarking it illegal. Why are they still around again ?
"We conducted all our tests on dry pavement but shot our photography after the rain came because otherwise the photographer overheats."

Good to know.
It’s brittle and fiddly, and it’s basically the only way to make it impossible to use proportional fonts, which are much more important for readability.

If you feel like it’s useful, you should probably be using an editor with real elastic tabstops instead.
I also think he's probably not dead, but I don't think he absconded with the holdings. I think it's a slightly different situation: there aren't any significant holdings left, and haven't been for a while. I think he already spent/lost almost everything they had, expecting that crypto would go up and everything would work out. Then it went down and stayed down, his plans blew up, and he knew he was screwed and could never pay the users back.

That is, I don't think it's an exit scam, I think it's a desperate attempt to hide a massive failure in running the exchange. The "we can't access the cold wallets any more" was intended to be a believable excuse that would explain why they couldn't return people's money.