ajdude

20 ms·

331.
by ajdude 2y ago
Everyone needs to see this, back up those words with action (I'm presently a donor)
332.
by ajdude 2y ago
I recently set up my grandmother with a new computer running windows 11. She has gotten used to checking her mail using the Mail app on Windows10; Windows 11 forces you into what seems like a "lite" outlook app. It's normally
333.
by ajdude 2y ago
Similar has been reproducible on my end, it reminds me of gpt2; they are pulling from things like Reddit threads and articles from the onion
334.
Google´s new AI search tool tells users to jump off a bridge and eat glue(notebookcheck.net)
4 points by ajdude 2y ago|0 comments
335.
by ajdude 2y ago
> It also can't fetch more than 2 pages of results for either web or image search I can't speak for image searching, but I found when I get limited results from Kagi, The other search engines that produce More results just pad
336.
by ajdude 2y ago
I'm not an iTerm2 user and only learned about it during this controversy. I was actually interested in using it aside from the AI stuff, and plan on trying it as my primary terminal emulator after the developer's actions.
337.
What Rust Got Wrong on Formal Verification(gavinhoward.com)
2 points by ajdude 2y ago|0 comments
338.
by ajdude 2y ago
That's just not feasible for people who don't have the means to simply fly to Europe to see a band. Sometimes it's a once in a lifetime chance that your favorite band happens to be in your city
339.
by ajdude 2y ago
It's easy to say that but a lot of the venues Exclusively use Ticketmaster as the official way to buy tickets for their shows. I called one, and they said to go online or pay at the door and hope There are seats left.
340.
The Copilot+ PCs the All-New Surface Pro and Surface Laptop(blogs.windows.com)
1 points by ajdude 2y ago|1 comments
341.
Red Lobster files for bankruptcy: Blame focuses on shrimp deal(foxbusiness.com)
4 points by ajdude 2y ago|1 comments
342.
ChatGPT Prompts That Helped a Parent Transform His Child's Future(forbes.com)
2 points by ajdude 2y ago|0 comments
343.
Cloudflare to deprecate Auto Minify August 5, 2024(developers.cloudflare.com)
2 points by ajdude 2y ago|0 comments
344.
Oh Frick Go Back: GUI Tool to Removes Ads from Various Places Around Windows 11(github.com)
51 points by ajdude 2y ago|71 comments
345.
by ajdude 2y ago
Archives: [1] https://archive.ph/2LjDf [2] https://web.archive.org/web/20240501151612/https://www.linke...
346.
I proposed to my girlfriend this weekend heres what it taught me about B2B sales(linkedin.com)
1 points by ajdude 2y ago|2 comments
347.
by ajdude 2y ago
I'm doing this first thing in the morning, thank you!
348.
by ajdude 2y ago
This is the same reason behind the Apple Pencil not working on the iPhone. Despite the iPhone approaching sizes of an iPad mini, I can't use the incredibly expensive pencil on an iPhone because according to Apple only the iPad should b
349.
How to Run Ada and Spark Code on Nvidia GPUs and CUDA [video](youtube.com)
2 points by ajdude 2y ago|0 comments
350.
by ajdude 2y ago
> Lyme disease is transmitted by the deer tick, also known as the blacklegged tick. Other ticks, such as dog ticks, can transmit other illnesses, but not Lyme disease. I've grown up dealing with all sorts of ticks, deer and dog, and
351.
by ajdude 2y ago
That's what makes it sweet
352.
by ajdude 2y ago
Yeah, that's another major benefit; I can get different toolchain versions or even cross-compile to different architectures via "alr toolchain --select"
353.
by ajdude 2y ago
> I don't know if this tool solves the problem Not yet but it's on my list as a "phase 2" of sorts for getada. I have an alpine VPS that I'm playing around with but the main issue is that while alire can be buil
354.
by ajdude 2y ago
I like in Ada's type system in that I can do constraints such as "type Positive is Integer range 1 .. Integer'Last;" to give me a number that I know must always be in the positive range of an integer, and it's easil
355.
by ajdude 2y ago
Alire puts "/obj/", "/bin/", "/alire/", and "/config/" into its .gitignore when creating a new project so the platform-specific stuff shouldn't end up on o
356.
by ajdude 2y ago
SPARK is free by default, and readily available. You can use it as-is in ada by adding " with SPARK_Mode => On" to your code; here's some examples: https://learn.adacore.com/courses/intro-to-spark&#x2
357.
by ajdude 2y ago
Ada is memory safe if you just work with the stack or avoid Unchecked_Deallocation. Since functions can allocate and return entire arrays and other data structures completely on the stack, you don't need to mess with the heap that oft
358.
by ajdude 2y ago
Getting alire installed involves downloading the zip, extracting the binary, and moving the binary to a directory in $PATH. If you're on a mac, you also have to run an "xattr" command on the tool to get it running. I've
359.
by ajdude 2y ago
Ada's been steadily making a reassurance I think since safer languages like Rust had started to gain traction. It appeared for the first time ever on the stackoverflow survey for example. It used to be hampered down by confusing licens
360.
Show HN: Getada: rustup-like installer for Ada's toolchain/package manager(getada.dev)
194 points by ajdude 2y ago|115 comments

More ›