🦞🌯 Lobster Roll

Thread

A week with the Surface Pro X (andregarzia.com)
L 19 pts 12 comments by SoapDog Dec 3, 2019 hardwarewindows thread

Stories related to "A week with the Surface Pro X" across the full archive.

A week with the Surface Pro X (andregarzia.com)
L 19 pts 12 comments by SoapDog Dec 3, 2019 hardwarewindows Maker / DIY / Hardware thread
Busting 4 Modern Hardware Myths - Are Memory, HDDs, and SSDs Really Random Access? (highscalability.com)
L 4 pts 1 comments by SeanTAllen Jul 11, 2013 hardwareprogramming Programming (General)Maker / DIY / Hardware thread
Why Hardware Development is Hard (danluu.com)
L 5 pts 0 comments by dl Nov 16, 2013 hardwareprogramming Programming (General)Maker / DIY / Hardware thread
oculus has opensourced the DK1 hardware and firmware (github.com)
L 8 pts 1 comments by BruceM Sep 20, 2014 gameshardwareprogramming Systems / Low-Level / OSProgramming (General)Gaming / Retro ComputingMaker / DIY / Hardware thread
Accordion: An EDSL for Hardware Instruction Set Extensions (2014.splashcon.org)
L 1 pts 0 comments by animatronic Sep 30, 2014 hardwareprogramming Programming (General)Maker / DIY / Hardware thread
Open Hardware Random Number Generator (onerng.info)
L 11 pts 0 comments by journeysquid Oct 28, 2014 hardwareprogrammingsecurity Programming (General)Security / PrivacyMaker / DIY / Hardware thread
Announcing Surface 3 (blog.surface.com)
L 3 pts 1 comments by calvin Mar 31, 2015 hardwarewindows Maker / DIY / Hardware thread
Anatomy of a Program in Memory (2009) (duartes.org)
L 5 pts 0 comments by pushcx Apr 7, 2015 linuxprogrammingwindows Systems / Low-Level / OSProgramming (General) thread
LibreCores · Free and Open Source Digital Hardware (librecores.org)
L 8 pts 1 comments by pushcx Feb 17, 2016 hardwareprogramming Programming (General)Maker / DIY / HardwareInternet / Digital Culture thread
Running and debugging program using xmake (tboox.org)
L 1 pts 0 comments by ruki Jul 25, 2016 cprogrammingreleasewindows Systems / Low-Level / OSProgramming (General) thread
Why hardware development is hard, part 1: Verilog is weird (danluu.com)
L 13 pts 5 comments by calvin Nov 3, 2016 hardwareprogramming Programming (General)Maker / DIY / Hardware thread
Survey of approaches for security verification of hardware/software systems (eprint.iacr.org)
L 3 pts 0 comments by nickpsecurity Jan 4, 2017 compscihardwarepdfprogrammingsecurity Programming (General)Programming Languages / CS TheorySecurity / PrivacyMaker / DIY / Hardware thread
After an intro to formal methods, it describes examples of hardware, software, and combined verifications of useful protection schemes. Recent work focuses more on HW/SW combined since it provides highest usability, security, and performance combination.
Two More Weeks to Join 3.5G and Receive a Free Femtocell (osmocom.org)
L 10 pts 0 comments by neeels Feb 1, 2017 chardwaremobilenetworkingprogramming Systems / Low-Level / OSProgramming (General)Data / Databases / InfrastructureMaker / DIY / Hardware thread
What Programming Languages Are Used Most on Weekends? (stackoverflow.blog)
L 43 pts 13 comments by bitemyapp Feb 7, 2017 programming Programming (General)Programming Languages / CS Theory thread
Verification of a practical, hardware, security architecture through static, info-flow analysis 2017 (cs.cornell.edu)
L 6 pts 0 comments by nickpsecurity May 14, 2017 hardwarepdfprogrammingsecurity Programming (General)Security / PrivacyMaker / DIY / Hardware thread
We've been producing a weekly developer news email for 16 weeks now. Feedback? (dailydrip.com)
L 4 pts 7 comments by knewter Jul 7, 2017 programmingshow Programming (General) thread
Tracking and Managing Processes on Windows (blog.rainway.io)
L 1 pts 0 comments by andrewmd5 Jul 28, 2017 dotnetgamesprogrammingwindows Programming (General)Gaming / Retro Computing thread
Enumerating process, thread, and image load notification callback routines in Windows (triplefault.io)
L 1 pts 0 comments by calvin Sep 18, 2017 programmingwindows Programming (General) thread
A Type-Safe Apparatus Executing Higher-Order Functions in Conjunction with Hardware Error Tolerance (arro.anglia.ac.uk)
L 4 pts 0 comments by nickpsecurity Nov 29, 2017 compsciformalmethodshardwarepdfprogrammingsecurity Programming (General)Programming Languages / CS TheorySecurity / PrivacyMaker / DIY / Hardware thread
The Infamous Windows “Hello World” Program (charlespetzold.com)
L 2 pts 2 comments by calvin Dec 4, 2017 chistoricalprogrammingwindows Systems / Low-Level / OSProgramming (General)Culture / Philosophy / History / Reading thread
List of Ways to Find Information, Flow Violations in Hardware and Software (Jan2018) (pastebin.com)
L 5 pts 0 comments by nickpsecurity Jan 8, 2018 compscihardwareprogrammingsecurity Programming (General)Programming Languages / CS TheorySecurity / PrivacyMaker / DIY / Hardware thread
Profiler week 5: Mac support, experiments profiling memory allocations (jvns.ca)
L 9 pts 1 comments by calvin Feb 7, 2018 programming Programming (General) thread
A Stall-Free, Real-Time, Garbage Collector for Reconfigurable Hardware (2012) (researcher.watson.ibm.com)
L 6 pts 1 comments by nickpsecurity Feb 10, 2018 hardwarepdfprogramming Systems / Low-Level / OSProgramming (General)Maker / DIY / Hardware thread
Zombie Processes are Eating your Memory (randomascii.wordpress.com)
L 2 pts 0 comments by calvin Feb 13, 2018 programmingwindows Programming (General) thread
Komodo: Using Verification to Disentangle Secure-Enclave Hardware from Software (2017) (microsoft.com)
L 2 pts 0 comments by nickpsecurity Feb 16, 2018 formalmethodshardwarepdfprogrammingsecurity Programming (General)Programming Languages / CS TheorySecurity / PrivacyMaker / DIY / Hardware thread
Profiler week 6/7: more experiments, and a `report` subcommand! (jvns.ca)
L 1 pts 0 comments by calvin Feb 20, 2018 programming Programming (General) thread
Verification of a Practical Hardware Security Architecture via Static Information Flow Analysis (cse.psu.edu)
L 6 pts 0 comments by nickpsecurity Mar 1, 2018 hardwarepdfpltprogrammingsecurity Programming (General)Programming Languages / CS TheorySecurity / PrivacyMaker / DIY / Hardware thread
Abstract: "Hardware-based mechanisms for software isolation are becoming increasingly popular, but implementing these mechanisms correctly has proved difficult, undermining the root of security. This work introduces an effective way to formally verify important properties of such hardware security m...
Design and implementation of an open-hardware, open-software Uninterruptible Power Supply unit. (gitlab.com)
L 8 pts 3 comments by sin Mar 12, 2018 hardwareprogramming Programming (General)Design / UX / VisualizationMaker / DIY / Hardware thread
Weekly Command: processing JSON with jq (monades.roperzh.com)
L 19 pts 3 comments by roperzh Apr 5, 2018 programmingunix Systems / Low-Level / OSProgramming (General) thread
Programmatic Control of a Compiler for Generating High-Performance, Spatial Hardware (2017) (arxiv.org)
L 1 pts 0 comments by nickpsecurity Apr 26, 2018 compilershardwarepdfprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryMaker / DIY / Hardware thread
Abstract: "This methodology paper addresses high-performance highproductivity programming on spatial architectures. Spatial architectures are efficient for executing dataflow algorithms, yet for high-performance programming, the productivity is low and verification is painful. We show that coding ...