Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
csb6
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
35 ms
·
241.
▲
by
csb6
5y ago
What evidence supports the claim that the CCP is using TikTok to control the morals of U.S. children? The CCP must also want to corrupt their own children as well because a version of TikTok is widely available in China. I am interested to
242.
▲
by
csb6
5y ago
This is a headline straight out of 2005 (or 1995): “The World Wide Web is Serving Up Sex and Drug Pictures to Minors”. Very much a moral panic headline. I wonder what material impact seeing a video of boobs or people doing drugs actually ha
243.
▲
by
csb6
5y ago
Who said you are going to lose your job? You seem to accept that as a fact, but I’m not sure where you are getting confirmation of this. Are you just assuming that all employers will require you to get a booster shot in the future, even tho
244.
▲
by
csb6
5y ago
> The Titanic is unsinkable! This doesn’t engage with my point. How many nations with nuclear arsenals and a large ocean on either side have been invaded? It isn’t a likely occurrence, and definitely not one worth subsidizing the war ind
245.
▲
by
csb6
5y ago
> By the time war begins, it can be too late. What war? The U.S. is invulnerable to invasion. The only conflicts that the U.S. would possibly need such a massive global military for would be foreign wars to maintain its world dominance (
246.
▲
by
csb6
5y ago
Or we could recognize that there is no good reason for the U.S. to have a military so giant that it requires massive, counterproductive subsidies to maintain “just in-case” we need to engage in a massive war. The U.S. military maintained an
247.
▲
by
csb6
5y ago
Attitude is not everything. It matters, but there are material factors in the world that are hard constraints no matter how you approach the problem. For example, you cannot simply create a fusion reactor by “really wanting it” and “being s
248.
▲
by
csb6
5y ago
> You can have the most Nukes of any country, but at some point, you have enough nukes to do anything you want, and after that, any nuke you add is a drain on your economy. If we have enough nukes to do whatever we want (we definitely ha
249.
▲
by
csb6
5y ago
Here [1] is a cool project that uses Z3 to make graphics specified by constraints. I remember reading an article about someone using Z3 to optimize the placement of cutout drawings on a piece of paper (kind of like a spritesheet) and optimi
250.
▲
by
csb6
6y ago
There is a Modula-2 frontend [1] (out-of-tree) written by an LLVM contributor. I haven’t used it, but it seems pretty far along. [1] https://github.com/redstar/m2lang
251.
▲
by
csb6
6y ago
They can be turned off for release mode, and the SPARK subset of Ada can use them in formal verification, proving that the conditions hold true for all inputs statically, eliminating the need for any checks. I think the performance impacts
252.
▲
by
csb6
6y ago
I believe fltk was originally intended to mimic the API and widgets of xforms.
253.
▲
by
csb6
6y ago
But what is Marxist about its philosophy? What particular beliefs make it Marxist?
254.
▲
by
csb6
6y ago
> generally if you're concerned with too much quantity of something, that's because this something is deemed bad. There is too much salt in this food. Therefore, salt is bad. There is too much water flooding my house. Therefore
255.
▲
by
csb6
6y ago
> “Antiracist” doesn’t mean “not racist”; it’s a Marxist ideology focusing on racial identities and purposeful systemic racism to “balance” the power between racial tribes. Why do you say this is "Marxist ideology"? What makes
256.
▲
by
csb6
6y ago
Every time people talk about the real problem of so-called "gifted" classes containing disproportionately large numbers of white students, this story gets trotted out as an ominous warning of "where this could go". This
257.
▲
by
csb6
6y ago
> "white is bad, black is good." This is a strawman. Please point me to the place in this article where the superintendent states this. As far as I can tell, the officials quoted are concerned about the lack of diversity in the
258.
▲
by
csb6
6y ago
> We need a publicity machine to remind people that cops do many positive things and pay great sacrifices. This is the status quo. The Internet is full of these stories; the front page of reddit, for example, almost always has a GIF of a
259.
▲
by
csb6
6y ago
Underappreciated? The founding fathers have been rubbed continuously in every American's face for the last 200 years. Few people under-appreciate them. Every media property, every news article, every public figure continues to worship
260.
▲
by
csb6
6y ago
Very cool! I’ve used Ada in my spare time, and it has a lot of good features that I wish C-family languages had (like strong typedefs, no implicit conversions, better ways to do things than passing pointers around, arrays that don't de
261.
▲
by
csb6
6y ago
That’s not really a good comparison. The reason C has been so prevalent is because it was used to make Unix, which was distributed widely for decades, and because it was relatively simple to write compilers for it/port it to new platfo
262.
▲
by
csb6
6y ago
> Somehow, in the years leading up to that moment, I had acquired the necessary background information to be able to "get" Lisp just from reading that ToC. Damn, you are a genius! As for myself, I can only gain this level of un
263.
▲
by
csb6
6y ago
Job security, better pay.
264.
▲
by
csb6
6y ago
“Death” seems a bit dramatic in this context.
265.
▲
by
csb6
6y ago
Windows and macOS died?
266.
▲
by
csb6
6y ago
Yes, nation states fear people working on OS projects. No one outside of the security state has ever tried to make one - and lived to tell the tale.
267.
▲
by
csb6
6y ago
Google effectively controls the engine's development, and additionally effectively controls the web standardization process (de facto or de jure). This is bad for obvious reasons. It would be neat if there was another browser not effec
268.
▲
by
csb6
6y ago
GPR project files are just a kind of config file. Their syntax is different than TOML files, but they could easily be given the capability to list dependencies and versions.
269.
▲
by
csb6
6y ago
This seems useful. One thing Ada has been lacking is a central place to upload and use dependencies. However, I’ve found that pure Ada code without a package manager is pretty easy to integrate using the gprbuild tool; you just copy the dep
270.
▲
by
csb6
6y ago
Insightful comment that really adds something to the conversation. Thank you!
More ›