synack

12 ms·

181.
by synack 5y ago
If you're short on PIO memory, the OUT EXEC instruction will execute an instruction directly from the FIFO. Feed the FIFO with a DMA channel and it'll keep up with the system clock. From the RP2040 datasheet section 3.4.5.2: >
182.
by synack 5y ago
This is one of the things Ada does really well. The standard says that the range of Float is implementation defined, but a program can reference the 'First and 'Last attributes of the Float type to determine the actual bounds for
183.
by synack 5y ago
They wrote a blog post about the state of their supply chain a few months ago: https://www.raspberrypi.com/news/supply-chain-shortages-and-...
184.
μnandfs: A NAND Blobstore for Memory-Starved Platforms [pdf](dsscaw.com)
2 points by synack 5y ago|0 comments
185.
Raspberry Pi Plans $500m Spring Listing(tomshardware.com)
27 points by synack 5y ago|12 comments
186.
by synack 5y ago
Release notes: https://docs.aws.amazon.com/linux/al2022/release-notes/relno...
187.
by synack 5y ago
(2020)
188.
by synack 5y ago
I've been doing my hobby projects in Ada for the last couple of years. At the moment, I'm building a game for the Pimoroni Picosystem. Most of my code is open source. https://github.com/JeremyGrosser?tab=repositori
189.
by synack 5y ago
The USB stack communicates with the device controller using a well defined interface. As long as a driver implements all of the methods in this interface, the USB stack doesn't need to know anything about the hardware. Interface: http
190.
by synack 5y ago
Tasking is supported by the Ravenscar runtime, which has not been merged upstream yet. https://github.com/AdaCore/bb-runtimes/pull/55
191.
by synack 5y ago
It's mostly from scratch. The linker script and crt0.S are derived from pico-sdk and register definitions are generated from pico-sdk's SVD file. Everything else is Ada.
192.
Ada on the Raspberry Pi Pico(pico-doc.synack.me)
5 points by synack 5y ago|4 comments
193.
by synack 5y ago
I wonder how they're manufacturing these. Fiber laser? Turret punch?
194.
by synack 5y ago
There are several ways to do this. Put_Line (myNumber'Image); works just as well as Integer'Image. with Ada.Integer_Text_IO; use Ada.Integer_Text_IO; Put (myNumber); Integer_Text_IO is included in the standard libr
195.
by synack 5y ago
Most startups I've worked with have domains registered by the founders on GoDaddy, Namecheap, or Gandi which then get transferred to MarkMonitor once the company has an IT budget. I don't think it matters as much as it used to, as
196.
Let's Encrypt DST Root CA X3 has expired(twitter.com)
72 points by synack 5y ago|25 comments
197.
Giving away a lot of Ada books(groups.google.com)
1 points by synack 5y ago|0 comments
198.
by synack 5y ago
That ATC project failed for many reasons, mostly mismanagement. Flying In Place: The FAA's Air Control Fiasco https://www.bloomberg.com/news/articles/1993-04-25/flying-in... Meanwhile in Europe, Eurocon
199.
by synack 5y ago
I got my A+ through a vocational program in high school. When my friends were getting jobs at McDonalds, I worked help desk at the community college and crawled under desks fixing PCs. The only thing the A+ cert did was get my foot in the d
200.
by synack 5y ago
This is a chapter from "In the Beginning... Was the Command Line" (1999) https://en.wikipedia.org/wiki/In_the_Beginning..._Was_the_Co...
201.
Magnetic Bubble Memory Fundamentals(youtube.com)
1 points by synack 5y ago|0 comments
202.
The First Ada/SPARK Crate of the Year Award(blog.adacore.com)
7 points by synack 5y ago|0 comments
203.
by synack 5y ago
> Is the implementation of a Convention isolated enough that it would make sense to be extensible? Conventions are currently implemented in GNAT as a part of the parser/lexer just like any other syntax element, so it's not easi
204.
by synack 5y ago
* Is there a way to declare data layouts to have compatibility with C, similar to #[repr(C)] in rust? Yes, and if you have a C header file, gcc can even translate most struct definitions for you. Here's an example of a "thin"
205.
by synack 5y ago
There's an open source distribution of GNAT for macOS here: https://sourceforge.net/projects/gnuada/files/GNAT_GCC%20Mac...
206.
by synack 5y ago
I feel like there's a lot of Chartjunk [1] here. Some of it is necessary for interactivity, but there should be a middle ground. [1] https://en.wikipedia.org/wiki/Chartjunk
207.
by synack 5y ago
Anecdotally, I've seen a lot more job postings for firmware engineers lately. I assume these are coming from companies that cannot source their preferred microcontrollers and need to port code to a new chip before inventory runs out. H
208.
by synack 5y ago
There's an old version here https://packetstormsecurity.com/files/30489/paketto-1.10.tar...
209.
by synack 5y ago
The post title is incorrect, the bill was introduced as S.1204 https://www.congress.gov/bill/117th-congress/senate-bill/120...
210.
by synack 5y ago
If I understand this correctly, the law would prohibit Amazon from selling their own brands on their marketplace and they'd have to split AWS into a separate company within a year.

More ›