Update: Runtime Verification with TeSSLa on a CPU/FPGA hybrid system
Description of a fully working system for ARM CoreSight traces running on a Zynq CPU/FPGA hybrid system.
More info on https://t.co/4Iqp6I2QOv
On December 27, 1968, Apollo 8 needed to fire its engine to leave lunar orbit and return to Earth.
If the burn was wrong, the crew would never come home.
In Mission Control, a 25-year-old mathematician named Frances Northcutt, known as Poppy, had prepared the return-to-Earth calculations.
She was the first woman to work in Mission Control in a technical role.
When the burn data came back, something was off.
The numbers didn't match the expected trajectory.
She had 4 minutes to determine whether the deviation was within tolerance or whether Apollo 8 was in danger.
She ran the calculations by hand.
They were within tolerance.
She gave the go.
The crew came home.
She later went to law school and became a prominent civil rights attorney.
When asked about her time at NASA she said:
"We were just doing our jobs. Nobody thought it was unusual except the reporters."
The people who kept the astronauts alive were largely anonymous.
Most of them were young women with slide rules.
#BREntscheid Epidemien: Der Datenaustausch zwischen Spitälern, Praxen und Behörden soll künftig über die einheitliche digitale Plattform NASURE laufen. Die Corona-Pandemie zeigte in diesem Bereich Lücken auf: https://t.co/AcqJgUTxu1 @bag_OFSP_UFSP@EDI_DFI
The Secure Boot master key used to verify firmware integrity across hundreds of devices was a test key generated by AMI, labeled in the certificate itself as "DO NOT TRUST." Vendors were supposed to replace it with their own keys before shipping. Most did not. The key ended up in a public GitHub repository and was sitting there exposed before anyone noticed. Devices from Acer, Dell, HP, Lenovo, Intel, Gigabyte and Supermicro were all affected.
Being part of a generation that was told “Wikipedia is not a source” makes it genuinely baffling to me that jobs are now telling people to just use ChatGPT for everything.
Students without access to LLMs are 2 to 8 times more creative than students with access.
That is the finding of a new paper comparing 2,200 college admissions essays written by humans before ChatGPT with essays generated by GPT-4.
The key point is not individual creativity. GPT-4 can write well, sometimes better than individual students. The problem is collective creativity.
Each new human essay added new semantic territory. New ideas. New angles. New experiences. New combinations.
Each new GPT-4 essay added much less.
The authors call this the diversity growth rate: how much novelty each additional text contributes to the collective pool of ideas.
Humans kept expanding the pool. GPT-4 made the pool converge.
Even when the authors pushed GPT-4 to be more creative, changed parameters, or used chain-of-thought prompting, the homogenizing effect remained.
This is the real danger of AI in education.
Not that students will write worse.
That everyone will write the same.
*
Full paper in the first reply
Neurowissenschaftler Lutz Jäncke erklärt, was künstliche Intelligenz schon jetzt in unseren Köpfen anrichtet. Und er sagt, warum die Gen Z tatsächlich dümmer ist als die Generation vor ihr. https://t.co/rx9778GnLT
Please stop with these types of headlines
The risk of #Ebola and #WorldCup is low. As an ID physician I am worried about
- measles
- respiratory pathogens
- STI’s
- Gastrointestinal illness (e.g Norovirus)
- Vector Borne Diseases
The Somerset Farmhouse of 1 North Street, Williton were approached by a "food influencer" that wanted to charge them £2,000 for a review.
They put out a video of Sally eating a sausage roll instead 😆.
Lets make Sally and the Somerset Farmhouse famous for free.
Ein 18jähriger aus Potsdam hat ein KI-Sprachmodell entwickelt, das Texte in Leichte Sprache überträgt. Dafür hat er nun einen Sonderpreis beim Jugend forscht-Wettbewerb erhalten.
💬💬💬
Es gibt zu viele negative News, deswegen poste ich jeden Tag eine #guteNewsdesTages.